File: test-values

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (41 lines) | stat: -rw-r--r-- 1,983 bytes parent folder | download | duplicates (3)
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
(:PCODE 1
 (:HASH-TABLE 1 16 1.5 1.0 EQUALP NIL
  (:WRITE-BYTES
   (:LIST 2 (:ARRAY 3 (1) #1=(UNSIGNED-BYTE 8) (1))
    (:ARRAY 4 (4) #1# (1 2 3 4)))
   :READ-BYTES (:LIST 5 1 (:ARRAY 6 (4) #1# (1 2 3 4))) :WRITE-ENDIAN
   (:LIST 7
    (:LIST 8 (:ARRAY 9 (1) #1# (128)) (:ARRAY 10 (1) #1# (254))
     (:ARRAY 11 (1) #1# (128)) (:ARRAY 12 (1) #1# (254)))
    (:LIST 13 (:ARRAY 14 (2) #1# (128 0)) (:ARRAY 15 (2) #1# (255 254))
     (:ARRAY 16 (2) #1# (0 128)) (:ARRAY 17 (2) #1# (254 255)))
    (:LIST 18 (:ARRAY 19 (4) #1# (128 0 0 0))
     (:ARRAY 20 (4) #1# (255 255 255 254)) (:ARRAY 21 (4) #1# (0 0 0 128))
     (:ARRAY 22 (4) #1# (254 255 255 255)))
    (:LIST 23 (:ARRAY 24 (8) #1# (128 0 0 0 0 0 0 0))
     (:ARRAY 25 (8) #1# (255 255 255 255 255 255 255 254))
     (:ARRAY 26 (8) #1# (0 0 0 0 0 0 0 128))
     (:ARRAY 27 (8) #1# (254 255 255 255 255 255 255 255)))
    (:LIST 28 (:ARRAY 29 (16) #1# (128 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
     (:ARRAY 30 (16) #1#
      (255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 254))
     (:ARRAY 31 (16) #1# (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 128))
     (:ARRAY 32 (16) #1#
      (254 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255))))
   :READ-ENDIAN
   (:LIST 33 (:LIST 34 -128 254 -128 254) (:LIST 35 -32768 65534 -32768 65534)
    (:LIST 36 -2147483648 4294967294 -2147483648 4294967294)
    (:LIST 37 -9223372036854775808 18446744073709551614 -9223372036854775808
     18446744073709551614)
    (:LIST 38 -170141183460469231731687303715884105728
     340282366920938463463374607431768211454
     -170141183460469231731687303715884105728
     340282366920938463463374607431768211454))
   :OCTETS
   (:LIST 39 (:ARRAY 40 (4) #1# (0 0 0 0)) (:ARRAY 41 (4) #1# (1 2 3 4))
    (:ARRAY 42 (4) #1# (4 3 2 1)))
   :READ-STREAM
   (:LIST 43 (:LIST 44 2 (:ARRAY 45 (2) #1# (1 2)))
    (:LIST 46 4 (:ARRAY 47 (5) #1# (0 1 2 3 0))))
   :WRITE-STREAM
   (:LIST 48 (:ARRAY 49 (3) #1# (1 2 3)) (:ARRAY 50 (3) #1# (2 3 4))))))