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