Revision a1daa793 test/tests_ok.list
| 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