File: lambda2.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 (24 lines) | stat: -rw-r--r-- 365 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
 
1 const 13 0000000000000
2 var 1 12
3 var 13 15
4 array 1 13
5 param 13
6 param 13
7 param 13
8 cond 13 2 -1 1
9 eq 1 -1 7
10 eq 1 1 5
11 read 1 4 5
12 and 1 -11 -10
13 lambda 1 13 5 -12
14 apply 1 13 7
15 and 1 -14 -9
16 lambda 1 13 7 -15
17 apply 1 16 8
18 eq 1 3 6
19 apply 1 13 6
20 and 1 -19 -18
21 lambda 1 13 6 -20
22 apply 1 21 1
23 root 1 22
24 root 1 -17