test/convenience_scripts/compile_it.sh
Fri, 15 Mar 2019 12:43:56 +0100 Reverted out device model
Mon, 11 Feb 2019 08:35:27 +0100 Changed test_utils for reorg
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.