Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / tests_ok_dev.list @ 3b2bd83d

History | View | Annotate | Download (1.11 KB)

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