test/convenience_scripts/compile_it.sh
Tue, 08 May 2018 15:43:07 +0200 Ok, all tests are in the infrastructure, though we now need to move the auxiliary files somewhere useful and update the tests.