Project

General

Profile

Revision 6a1a01d2 test/tests_ok.list

View differences:

test/tests_ok.list
908 908
./tests/lusic/test1.lusi
909 909
./tests/lusic/test1.lus,as_soon_as
910 910
./tests/lusic/test2.lus
911
./tests/automata/aut1.lus
911 912
./tests/linear_ctl/ex8sat.lus,top
912 913
./tests/linear_ctl/ex2reset.lus,top
913 914
./tests/linear_ctl/lp_iir_9600_2.lus,top

Also available in: Unified diff