The testsuite driver now searches for the examples recursively in the given directories.
This allows to revisit the examples and to give the a bit more structure. I have started with this by adding Data and Codata subdirectories. I will revisit the examples more exhaustively in a later PR.
The testsuite driver now searches for the examples recursively in the given directories. This allows to revisit the examples and to give the a bit more structure. I have started with this by adding
Data
andCodata
subdirectories. I will revisit the examples more exhaustively in a later PR.