File: large_bitvector.expect

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (12 lines) | stat: -rw-r--r-- 481 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 
x = 0x1FFFF0000FFFFFFFF
length(x) = 68
y = 0x1FFFF0000FFFFFFFF1FFFF0000FFFFFFFF1FFFF0000FFFFFFFF
length(y) = 204
z = 0x1FFFF0000FFFFFFFF1FFFF0000FFFFFFFF1CAFE0000FFFFFFFF
length(z) = 204
q = 0xFF0000FFFFFFFF1FFFF0000FFFFFFFF1CAFE0000FFFFFFFF
w = -24519554509435141245919758063389544641259977658452672513
length(q) = 192
0x8000
0b1 @ zeros(64 * 3 - 1) = 0x800000000000000000000000000000000000000000000000
q                       = 0x800000000000000000000000000000000000000000000000