1 2 3 4 5 6 7 8 9
(tests (names test_d01p01 test_d01p02 test_d04p01) (libraries application domain alcotest))