Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / tests_ok_dev.list @ 14c56a07

History | View | Annotate | Download (1.03 KB)

1
./tests/tuples/tuples1.lus
2
./tests/tuples/tuples2.lus
3
./tests/arrays_arnaud/dummy_lib.lusi
4
./tests/arrays_arnaud/arrays.lus,,-check-access
5
./tests/arrays_arnaud/RelOpMatrix.lus
6
./tests/arrays_arnaud/access1.lus,,-check-access
7
./tests/arrays_arnaud/generic1.lus,,-lusi
8
./tests/arrays_arnaud/generic1.lusi
9
./tests/arrays_arnaud/generic1.lus
10
./tests/arrays_arnaud/generic2.lus
11
./tests/arrays_arnaud/generic3.lus,top,-dynamic -check-access
12
./tests/clocks/clocks1.lus,,-lusi
13
./tests/clocks/clocks1.lusi
14
./tests/clocks/clocks1.lus
15
./tests/clocks/clocks2.lus
16
./tests/clocks/clocks6.lus
17
./tests/clocks/clocks7.lus
18
./tests/clocks/clocks8.lus
19
./tests/clocks/clocks9.lus
20
./tests/clocks/oversampling0.lus,,-lusi
21
./tests/clocks/oversampling0.lusi
22
./tests/clocks/oversampling0.lus
23
./tests/lusic/test2.lusi
24
./tests/lusic/test1.lusi
25
./tests/lusic/test1.lus,as_soon_as
26
./tests/lusic/test2.lus
27
./tests/automata/aut1.lus
28
./tests/automata/heater3.lus
29
./tests/automata/heater4.lus
30
./tests/linear_ctl/libarrays.lusi
31
./tests/linear_ctl/ex1_mat.lus
32
./tests/linear_ctl/ex1_mat_xt.lus