File: nextarray5.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 (42 lines) | stat: -rw-r--r-- 621 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
1 array 8 2
2 var 3 counter

3 constd 3 1
4 add 3 2 3
5 next 3 2 4

6 constd 2 0
7 constd 2 1
8 constd 2 2
9 constd 2 3
10 read 8 1 6
11 read 8 1 7
12 ugt 1 10 11
13 write 8 2 1 7 10
14 write 8 2 13 6 11
15 acond 8 2 12 14 1
16 read 8 15 7
17 read 8 15 8
18 ugt 1 16 17
19 write 8 2 15 8 16
20 write 8 2 19 7 17
21 acond 8 2 18 20 15
22 read 8 21 8
23 read 8 21 9
24 ugt 1 22 23
25 write 8 2 21 9 22
26 write 8 2 25 8 23
27 acond 8 2 24 26 21
28 anext 8 2 1 27

29 constd 3 3 
30 eq 1 2 29
31 var 2 pos1
32 var 2 pos2
33 ult 1 31 32
34 read 8 1 31
35 read 8 1 32
36 ugt 1 34 35
37 and 1 30 33
38 and 1 36 37
39 root 1 38