File: write4.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 (48 lines) | stat: -rw-r--r-- 660 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
36
37
38
39
40
41
42
43
44
45
46
47
48
1 array 8 8
2 var 8
3 var 8
4 var 8
5 var 8
6 var 8
7 var 8
8 var 8
9 var 8
10 write 8 8 1 2 3
11 write 8 8 10 4 5
12 write 8 8 11 6 7
13 read 8 12 8
14 read 8 12 9
15 eq 1 8 9
16 eq 1 13 14
17 and 1 15 -16
18 eq 1 6 8
19 eq 1 7 13
20 and 1 18 -19
21 eq 1 4 8
22 and 1 -18 21
23 eq 1 5 13
24 and 1 22 -23
25 eq 1 2 8
26 and 1 -21 25
27 and 1 -18 26
28 eq 1 3 13
29 and 1 27 -28
30 eq 1 6 9
31 eq 1 7 14
32 and 1 30 -31
33 eq 1 4 9
34 and 1 -30 33
35 eq 1 5 14
36 and 1 34 -35
37 eq 1 2 9
38 and 1 -33 37
39 and 1 -30 38
40 eq 1 3 14
41 and 1 39 -40
42 and 1 -17 -20
43 and 1 -24 42
44 and 1 -29 43
45 and 1 -32 44
46 and 1 -36 45
47 and 1 -41 46
48 root 1 -47