Edit

kc3-lang/kc3/test/ic3/integer_neg.in

Branch :

  • test/ic3/integer_neg.in
  • quote - -170141183460469231731687303715884105728
    - -170141183460469231731687303715884105728
    quote - -170141183460469231731687303715884105727
    - -170141183460469231731687303715884105727
    quote - -9223372036854775808
    - -9223372036854775808
    quote - -9223372036854775807
    - -9223372036854775807
    quote - -2147483648
    - -2147483648
    quote - -2147483647
    - -2147483647
    quote - -32768
    - -32768
    quote - -32767
    - -32767
    quote - -128
    - -128
    quote - -127
    - -127
    quote - 255
    - 255
    quote - 256
    - 256
    quote - 65535
    - 65535
    quote - 65536
    - 65536
    quote - 4294967295
    - 4294967295
    quote - 4294967296
    - 4294967296
    quote - 18446744073709551615
    - 18446744073709551615
    quote - 18446744073709551616
    - 18446744073709551616
    quote - 340282366920938463463374607431768211455
    - 340282366920938463463374607431768211455
    quote - 340282366920938463463374607431768211456
    - 340282366920938463463374607431768211456