I think it would be better to place it in the experimental directory since it is an experimental plugin (new untested plugin). This plugin can be used by other people if they would like to use it and we will be using it a few times over the years. I am also against creating more top level directories for plugins since we already have a plugins directory.
-Bryan > On Aug 19, 2016, at 10:51 AM, Alan Carroll > <solidwallofc...@yahoo-inc.com.INVALID> wrote: > > We (by which I mean Petar Penkovv) have been doing some work with plugins > that are built for testing, rather than general use or for being coding > examples. Ultimately we want to integrate them into a testing framework to be > able to more fully test ATS. This means putting the code in the source tree > but there has been some dissent about where to put them. I am strongly of the > opinion these should be separated from the other plugins to avoid confusing > people. The current suggestion is to put them in "tests/plugins" which I > think is reasonable. >
