Closed rlaemmel closed 8 years ago
The test target should also "test" the models in directory "models".
So the assumption here is that:
In particular, megalib/checker/TestFiles/Prelude.megal belongs into the models directory. Also, megalib/checker/TestFiles/JavaC.megal belongs into the models directory.
see issue #1
/cc @AndrEm12 @MarcelH91
... so that one can simply run the checker on the TestFiles.
Proper examples should be in directory models, btw, but I think it is Ok to have developer-level tests separately, as you do.