File: arraycond7.btor

package info (click to toggle)
boolector 3.2.4-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 20,744 kB
  • sloc: ansic: 83,136; cpp: 18,159; sh: 3,668; python: 2,889; makefile: 210
file content (35 lines) | stat: -rw-r--r-- 491 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
1 array 1 1
2 array 1 1
3 array 1 1
4 const 1 0
5 const 1 1
6 read 1 1 4
7 read 1 1 5
8 read 1 2 4
9 read 1 2 5
10 read 1 3 4
11 read 1 3 5
12 var 1
13 var 1
14 and 1 -12 -13
15 var 1
16 var 1
17 and 1 15 16
18 acond 1 1 14 2 1
19 acond 1 1 17 3 18
20 read 1 19 4
21 read 1 19 5
22 and 1 -6 -7
23 and 1 6 7
24 and 1 -22 -23
25 and 1 -8 -9
26 and 1 8 9
27 and 1 -25 -26
28 and 1 -10 -11
29 and 1 10 11
30 and 1 -28 -29
31 and 1 20 21
32 and 1 24 27
33 and 1 30 31
34 and 1 32 33
35 root 1 34