Project

General

Profile

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

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

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