Project

General

Profile

Download (200 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/automata/without_properties/restart_example_restart_example_input_values @ af44cb25

1 02d89bbb bourbouh 
1
2 
0
3 
0
4 
1
5 
1
6 
0
7 af44cb25 bourbouh 
1
8 02d89bbb bourbouh 
0
9 
1
10 
0
11 
0
12 af44cb25 bourbouh 
0
13 02d89bbb bourbouh 
1
14 af44cb25 bourbouh 
0
15 02d89bbb bourbouh 
1
16 
0
17 af44cb25 bourbouh 
1
18 02d89bbb bourbouh 
0
19 
1
20 
1
21 
0
22 
1
23 
0
24 
0
25 
1
26 
0
27 
0
28 
1
29 
1
30 
0
31 
0
32 af44cb25 bourbouh 
1
33 02d89bbb bourbouh 
1
34 
0
35 
0
36 
0
37 
0
38 
0
39 
0
40 
1
41 
1
42 
0
43 
1
44 
0
45 af44cb25 bourbouh 
1
46 
1
47 
1
48 
1
49 
1
50 02d89bbb bourbouh 
1
51 
1
52 
1
53 
0
54 
0
55 
1
56 af44cb25 bourbouh 
1
57 
0
58 
0
59 02d89bbb bourbouh 
0
60 
1
61 
0
62 
1
63 
0
64 
0
65 
1
66 af44cb25 bourbouh 
0
67 
0
68 02d89bbb bourbouh 
1
69 
1
70 
1
71 
0
72 af44cb25 bourbouh 
0
73 02d89bbb bourbouh 
0
74 
1
75 af44cb25 bourbouh 
0
76 02d89bbb bourbouh 
1
77 
0
78 
1
79 
0
80 
0
81 
0
82 
1
83 af44cb25 bourbouh 
1
84 
1
85 02d89bbb bourbouh 
0
86 
0
87 
1
88 
0
89 
0
90 
0
91 af44cb25 bourbouh 
0
92 02d89bbb bourbouh 
0
93 
1
94 
0
95 af44cb25 bourbouh 
0
96 02d89bbb bourbouh 
1
97 
1
98 
1
99 
1
100 
1