Project

General

Profile

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

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/misc/two_counters_top_input_values @ 2d37a1e1

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