Project

General

Profile

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

lustrec-tests/regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters_top_input_values @ 8af9a0b9

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