kc3-lang/kc3/test/ic3/integer.lisp

Branch : - branch - marshall master pdf v0.1 - tag - HTTPd-v0.1.0 HTTPd-v0.1.1 HTTPd-v0.2.0 v0 v0.1.0 v0.1.1 v0.1.10 v0.1.11 v0.1.12 v0.1.13 v0.1.14 v0.1.15 v0.1.16 v0.1.2 v0.1.3 v0.1.4 v0.1.5 v0.1.6 v0.1.7 v0.1.8 v0.1.9

• Show log

  Commit

• Author : Thomas de Grivel
  Date : 2023-08-04 19:08:27
  Hash : f533a6ed
  Message : integer

• test/ic3/integer.lisp

• (in-package :cl-user)
  
  (with-open-file (out #P"~/integer.out"
                       :direction :output
                       :element-type 'character)
    (format out "~A~%" (+ -18446744073709551616 -18446744073709551616))
    (format out "~A~%" (+ -18446744073709551616 -4294967296))
    (format out "~A~%" (+ -18446744073709551616 -32769))
    (format out "~A~%" (+ -18446744073709551616 -129))
    (format out "~A~%" (+ -18446744073709551616 -1))
    (format out "~A~%" (+ -18446744073709551616 1))
    (format out "~A~%" (+ -18446744073709551616 256))
    (format out "~A~%" (+ -18446744073709551616 65536))
    (format out "~A~%" (+ -18446744073709551616 8589934592))
    (format out "~A~%" (+ -18446744073709551616 36893488147419103232))
    (format out "~A~%" (+ -4294967296 -18446744073709551616))
    (format out "~A~%" (+ -4294967296 -4294967296))
    (format out "~A~%" (+ -4294967296 -32769))
    (format out "~A~%" (+ -4294967296 -129))
    (format out "~A~%" (+ -4294967296 -1))
    (format out "~A~%" (+ -4294967296 1))
    (format out "~A~%" (+ -4294967296 256))
    (format out "~A~%" (+ -4294967296 65536))
    (format out "~A~%" (+ -4294967296 8589934592))
    (format out "~A~%" (+ -4294967296 36893488147419103232))
    (format out "~A~%" (+ -32769 -18446744073709551616))
    (format out "~A~%" (+ -32769 -4294967296))
    (format out "~A~%" (+ -32769 -32769))
    (format out "~A~%" (+ -32769 -129))
    (format out "~A~%" (+ -32769 -1))
    (format out "~A~%" (+ -32769 1))
    (format out "~A~%" (+ -32769 256))
    (format out "~A~%" (+ -32769 65536))
    (format out "~A~%" (+ -32769 8589934592))
    (format out "~A~%" (+ -32769 36893488147419103232))
    (format out "~A~%" (+ -129 -18446744073709551616))
    (format out "~A~%" (+ -129 -4294967296))
    (format out "~A~%" (+ -129 -32769))
    (format out "~A~%" (+ -129 -129))
    (format out "~A~%" (+ -129 -1))
    (format out "~A~%" (+ -129 1))
    (format out "~A~%" (+ -129 256))
    (format out "~A~%" (+ -129 65536))
    (format out "~A~%" (+ -129 8589934592))
    (format out "~A~%" (+ -129 36893488147419103232))
    (format out "~A~%" (+ -1 -18446744073709551616))
    (format out "~A~%" (+ -1 -4294967296))
    (format out "~A~%" (+ -1 -32769))
    (format out "~A~%" (+ -1 -129))
    (format out "~A~%" (+ -1 -1))
    (format out "~A~%" (+ -1 1))
    (format out "~A~%" (+ -1 256))
    (format out "~A~%" (+ -1 65536))
    (format out "~A~%" (+ -1 8589934592))
    (format out "~A~%" (+ -1 36893488147419103232))
    (format out "~A~%" (+ 1 -18446744073709551616))
    (format out "~A~%" (+ 1 -4294967296))
    (format out "~A~%" (+ 1 -32769))
    (format out "~A~%" (+ 1 -129))
    (format out "~A~%" (+ 1 -1))
    (format out "~A~%" (+ 1 1))
    (format out "~A~%" (+ 1 256))
    (format out "~A~%" (+ 1 65536))
    (format out "~A~%" (+ 1 8589934592))
    (format out "~A~%" (+ 1 36893488147419103232))
    (format out "~A~%" (+ 256 -18446744073709551616))
    (format out "~A~%" (+ 256 -4294967296))
    (format out "~A~%" (+ 256 -32769))
    (format out "~A~%" (+ 256 -257))
    (format out "~A~%" (+ 256 -1))
    (format out "~A~%" (+ 256 1))
    (format out "~A~%" (+ 256 256))
    (format out "~A~%" (+ 256 65536))
    (format out "~A~%" (+ 256 8589934592))
    (format out "~A~%" (+ 256 36893488147419103232))
    (format out "~A~%" (+ 65536 -18446744073709551616))
    (format out "~A~%" (+ 65536 -4294967296))
    (format out "~A~%" (+ 65536 -32769))
    (format out "~A~%" (+ 65536 -129))
    (format out "~A~%" (+ 65536 -1))
    (format out "~A~%" (+ 65536 1))
    (format out "~A~%" (+ 65536 256))
    (format out "~A~%" (+ 65536 65536))
    (format out "~A~%" (+ 65536 8589934592))
    (format out "~A~%" (+ 65536 36893488147419103232))
    (format out "~A~%" (+ 8589934592 -18446744073709551616))
    (format out "~A~%" (+ 8589934592 -4294967296))
    (format out "~A~%" (+ 8589934592 -32769))
    (format out "~A~%" (+ 8589934592 -129))
    (format out "~A~%" (+ 8589934592 -1))
    (format out "~A~%" (+ 8589934592 1))
    (format out "~A~%" (+ 8589934592 256))
    (format out "~A~%" (+ 8589934592 65536))
    (format out "~A~%" (+ 8589934592 8589934592))
    (format out "~A~%" (+ 8589934592 36893488147419103232))
    (format out "~A~%" (+ 36893488147419103232 -18446744073709551616))
    (format out "~A~%" (+ 36893488147419103232 -4294967296))
    (format out "~A~%" (+ 36893488147419103232 -32769))
    (format out "~A~%" (+ 36893488147419103232 -129))
    (format out "~A~%" (+ 36893488147419103232 -1))
    (format out "~A~%" (+ 36893488147419103232 1))
    (format out "~A~%" (+ 36893488147419103232 256))
    (format out "~A~%" (+ 36893488147419103232 65536))
    (format out "~A~%" (+ 36893488147419103232 8589934592))
    (format out "~A~%" (+ 36893488147419103232 36893488147419103232)))