File: slice_const.out

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 (12 lines) | stat: -rw-r--r-- 182 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 
01[0:0] = 1
01[1:0] = 01
01[1:1] = 0
101[0:0] = 1
101[1:0] = 01
101[2:0] = 101
101[1:1] = 0
101[2:1] = 10
101[2:2] = 1
11110000[7:4] = 1111
11110000[5:2] = 1100
11110000[3:0] = 0000