Project

General

Profile

Revision a1daa793 test/tests_ok.list

View differences:

test/tests_ok.list
894 894
./tests/kind_fmcad08/large/ccp20.lus,top
895 895
./tests/kind_fmcad08/large/ccp11.lus,top
896 896
./tests/kind_fmcad08/large/cruise_controller_21.lus,top
897
./tests/tuples/tuples1.lus
898
./tests/tuples/tuples2.lus
897 899
./tests/arrays_arnaud/dummy_lib.lusi
898 900
./tests/arrays_arnaud/arrays.lus,,-check-access
899 901
./tests/arrays_arnaud/RelOpMatrix.lus
900 902
./tests/arrays_arnaud/access1.lus,,-check-access
903
./tests/arrays_arnaud/generic1.lus,,-lusi
904
./tests/arrays_arnaud/generic1.lusi
901 905
./tests/arrays_arnaud/generic1.lus
902 906
./tests/arrays_arnaud/generic2.lus
903 907
./tests/arrays_arnaud/generic3.lus,top,-dynamic -check-access
908
./tests/clocks/clocks1.lus,,-lusi
909
./tests/clocks/clocks1.lusi
904 910
./tests/clocks/clocks1.lus
905 911
./tests/clocks/clocks2.lus
912
./tests/clocks/clocks6.lus
913
./tests/clocks/clocks7.lus
914
./tests/clocks/clocks8.lus
915
./tests/clocks/clocks9.lus
916
./tests/clocks/oversampling0.lus,,-lusi
917
./tests/clocks/oversampling0.lusi
906 918
./tests/clocks/oversampling0.lus
907 919
./tests/lusic/test2.lusi
908 920
./tests/lusic/test1.lusi
909 921
./tests/lusic/test1.lus,as_soon_as
910 922
./tests/lusic/test2.lus
911 923
./tests/automata/aut1.lus
924
./tests/automata/heater3.lus
925
./tests/automata/heater4.lus
926
./tests/linear_ctl/libarrays.lusi
927
./tests/linear_ctl/ex1_mat.lus
928
./tests/linear_ctl/ex1_mat_xt.lus
912 929
./tests/linear_ctl/ex8sat.lus,top
913 930
./tests/linear_ctl/ex2reset.lus,top
914 931
./tests/linear_ctl/lp_iir_9600_2.lus,top

Also available in: Unified diff