Edit
kc3-lang/kc3/test/ic3/integer_eq.out.expected
Branch :
-
Show log
Commit
-
Author :
Thomas de Grivel
Date : 2023-11-07 12:26:11
Hash : 817493c6
Message : fix integer tests
- test/ic3/integer_eq.out.expected
-
-170141183460469231731687303715884105728 == -170141183460469231731687303715884105728 true -170141183460469231731687303715884105728 == -170141183460469231731687303715884105727 false -170141183460469231731687303715884105728 == -9223372036854775808 false -170141183460469231731687303715884105728 == -9223372036854775807 false -170141183460469231731687303715884105728 == -2147483648 false -170141183460469231731687303715884105728 == -2147483647 false -170141183460469231731687303715884105728 == -32768 false -170141183460469231731687303715884105728 == -32767 false -170141183460469231731687303715884105728 == -128 false -170141183460469231731687303715884105728 == -127 false -170141183460469231731687303715884105728 == 255 false -170141183460469231731687303715884105728 == 256 false -170141183460469231731687303715884105728 == 65535 false -170141183460469231731687303715884105728 == 65536 false -170141183460469231731687303715884105728 == 4294967295 false -170141183460469231731687303715884105728 == 4294967296 false -170141183460469231731687303715884105728 == 18446744073709551615 false -170141183460469231731687303715884105728 == 18446744073709551616 false -170141183460469231731687303715884105728 == 340282366920938463463374607431768211455 false -170141183460469231731687303715884105728 == 340282366920938463463374607431768211456 false -170141183460469231731687303715884105727 == -170141183460469231731687303715884105728 false -170141183460469231731687303715884105727 == -170141183460469231731687303715884105727 true -170141183460469231731687303715884105727 == -9223372036854775808 false -170141183460469231731687303715884105727 == -9223372036854775807 false -170141183460469231731687303715884105727 == -2147483648 false -170141183460469231731687303715884105727 == -2147483647 false -170141183460469231731687303715884105727 == -32768 false -170141183460469231731687303715884105727 == -32767 false -170141183460469231731687303715884105727 == -128 false -170141183460469231731687303715884105727 == -127 false -170141183460469231731687303715884105727 == 255 false -170141183460469231731687303715884105727 == 256 false -170141183460469231731687303715884105727 == 65535 false -170141183460469231731687303715884105727 == 65536 false -170141183460469231731687303715884105727 == 4294967295 false -170141183460469231731687303715884105727 == 4294967296 false -170141183460469231731687303715884105727 == 18446744073709551615 false -170141183460469231731687303715884105727 == 18446744073709551616 false -170141183460469231731687303715884105727 == 340282366920938463463374607431768211455 false -170141183460469231731687303715884105727 == 340282366920938463463374607431768211456 false -9223372036854775808 == -170141183460469231731687303715884105728 false -9223372036854775808 == -170141183460469231731687303715884105727 false -9223372036854775808 == -9223372036854775808 true -9223372036854775808 == -9223372036854775807 false -9223372036854775808 == -2147483648 false -9223372036854775808 == -2147483647 false -9223372036854775808 == -32768 false -9223372036854775808 == -32767 false -9223372036854775808 == -128 false -9223372036854775808 == -127 false -9223372036854775808 == 255 false -9223372036854775808 == 256 false -9223372036854775808 == 65535 false -9223372036854775808 == 65536 false -9223372036854775808 == 4294967295 false -9223372036854775808 == 4294967296 false -9223372036854775808 == 18446744073709551615 false -9223372036854775808 == 18446744073709551616 false -9223372036854775808 == 340282366920938463463374607431768211455 false -9223372036854775808 == 340282366920938463463374607431768211456 false -9223372036854775807 == -170141183460469231731687303715884105728 false -9223372036854775807 == -170141183460469231731687303715884105727 false -9223372036854775807 == -9223372036854775808 false -9223372036854775807 == -9223372036854775807 true -9223372036854775807 == -2147483648 false -9223372036854775807 == -2147483647 false -9223372036854775807 == -32768 false -9223372036854775807 == -32767 false -9223372036854775807 == -128 false -9223372036854775807 == -127 false -9223372036854775807 == 255 false -9223372036854775807 == 256 false -9223372036854775807 == 65535 false -9223372036854775807 == 65536 false -9223372036854775807 == 4294967295 false -9223372036854775807 == 4294967296 false -9223372036854775807 == 18446744073709551615 false -9223372036854775807 == 18446744073709551616 false -9223372036854775807 == 340282366920938463463374607431768211455 false -9223372036854775807 == 340282366920938463463374607431768211456 false -2147483648 == -170141183460469231731687303715884105728 false -2147483648 == -170141183460469231731687303715884105727 false -2147483648 == -9223372036854775808 false -2147483648 == -9223372036854775807 false -2147483648 == -2147483648 true -2147483648 == -2147483647 false -2147483648 == -32768 false -2147483648 == -32767 false -2147483648 == -128 false -2147483648 == -127 false -2147483648 == 255 false -2147483648 == 256 false -2147483648 == 65535 false -2147483648 == 65536 false -2147483648 == 4294967295 false -2147483648 == 4294967296 false -2147483648 == 18446744073709551615 false -2147483648 == 18446744073709551616 false -2147483648 == 340282366920938463463374607431768211455 false -2147483648 == 340282366920938463463374607431768211456 false -2147483647 == -170141183460469231731687303715884105728 false -2147483647 == -170141183460469231731687303715884105727 false -2147483647 == -9223372036854775808 false -2147483647 == -9223372036854775807 false -2147483647 == -2147483648 false -2147483647 == -2147483647 true -2147483647 == -32768 false -2147483647 == -32767 false -2147483647 == -128 false -2147483647 == -127 false -2147483647 == 255 false -2147483647 == 256 false -2147483647 == 65535 false -2147483647 == 65536 false -2147483647 == 4294967295 false -2147483647 == 4294967296 false -2147483647 == 18446744073709551615 false -2147483647 == 18446744073709551616 false -2147483647 == 340282366920938463463374607431768211455 false -2147483647 == 340282366920938463463374607431768211456 false -32768 == -170141183460469231731687303715884105728 false -32768 == -170141183460469231731687303715884105727 false -32768 == -9223372036854775808 false -32768 == -9223372036854775807 false -32768 == -2147483648 false -32768 == -2147483647 false -32768 == -32768 true -32768 == -32767 false -32768 == -128 false -32768 == -127 false -32768 == 255 false -32768 == 256 false -32768 == 65535 false -32768 == 65536 false -32768 == 4294967295 false -32768 == 4294967296 false -32768 == 18446744073709551615 false -32768 == 18446744073709551616 false -32768 == 340282366920938463463374607431768211455 false -32768 == 340282366920938463463374607431768211456 false -32767 == -170141183460469231731687303715884105728 false -32767 == -170141183460469231731687303715884105727 false -32767 == -9223372036854775808 false -32767 == -9223372036854775807 false -32767 == -2147483648 false -32767 == -2147483647 false -32767 == -32768 false -32767 == -32767 true -32767 == -128 false -32767 == -127 false -32767 == 255 false -32767 == 256 false -32767 == 65535 false -32767 == 65536 false -32767 == 4294967295 false -32767 == 4294967296 false -32767 == 18446744073709551615 false -32767 == 18446744073709551616 false -32767 == 340282366920938463463374607431768211455 false -32767 == 340282366920938463463374607431768211456 false -128 == -170141183460469231731687303715884105728 false -128 == -170141183460469231731687303715884105727 false -128 == -9223372036854775808 false -128 == -9223372036854775807 false -128 == -2147483648 false -128 == -2147483647 false -128 == -32768 false -128 == -32767 false -128 == -128 true -128 == -127 false -128 == 255 false -128 == 256 false -128 == 65535 false -128 == 65536 false -128 == 4294967295 false -128 == 4294967296 false -128 == 18446744073709551615 false -128 == 18446744073709551616 false -128 == 340282366920938463463374607431768211455 false -128 == 340282366920938463463374607431768211456 false -127 == -170141183460469231731687303715884105728 false -127 == -170141183460469231731687303715884105727 false -127 == -9223372036854775808 false -127 == -9223372036854775807 false -127 == -2147483648 false -127 == -2147483647 false -127 == -32768 false -127 == -32767 false -127 == -128 false -127 == -127 true -127 == 255 false -127 == 256 false -127 == 65535 false -127 == 65536 false -127 == 4294967295 false -127 == 4294967296 false -127 == 18446744073709551615 false -127 == 18446744073709551616 false -127 == 340282366920938463463374607431768211455 false -127 == 340282366920938463463374607431768211456 false 255 == -170141183460469231731687303715884105728 false 255 == -170141183460469231731687303715884105727 false 255 == -9223372036854775808 false 255 == -9223372036854775807 false 255 == -2147483648 false 255 == -2147483647 false 255 == -32768 false 255 == -32767 false 255 == -128 false 255 == -127 false 255 == 255 true 255 == 256 false 255 == 65535 false 255 == 65536 false 255 == 4294967295 false 255 == 4294967296 false 255 == 18446744073709551615 false 255 == 18446744073709551616 false 255 == 340282366920938463463374607431768211455 false 255 == 340282366920938463463374607431768211456 false 256 == -170141183460469231731687303715884105728 false 256 == -170141183460469231731687303715884105727 false 256 == -9223372036854775808 false 256 == -9223372036854775807 false 256 == -2147483648 false 256 == -2147483647 false 256 == -32768 false 256 == -32767 false 256 == -128 false 256 == -127 false 256 == 255 false 256 == 256 true 256 == 65535 false 256 == 65536 false 256 == 4294967295 false 256 == 4294967296 false 256 == 18446744073709551615 false 256 == 18446744073709551616 false 256 == 340282366920938463463374607431768211455 false 256 == 340282366920938463463374607431768211456 false 65535 == -170141183460469231731687303715884105728 false 65535 == -170141183460469231731687303715884105727 false 65535 == -9223372036854775808 false 65535 == -9223372036854775807 false 65535 == -2147483648 false 65535 == -2147483647 false 65535 == -32768 false 65535 == -32767 false 65535 == -128 false 65535 == -127 false 65535 == 255 false 65535 == 256 false 65535 == 65535 true 65535 == 65536 false 65535 == 4294967295 false 65535 == 4294967296 false 65535 == 18446744073709551615 false 65535 == 18446744073709551616 false 65535 == 340282366920938463463374607431768211455 false 65535 == 340282366920938463463374607431768211456 false 65536 == -170141183460469231731687303715884105728 false 65536 == -170141183460469231731687303715884105727 false 65536 == -9223372036854775808 false 65536 == -9223372036854775807 false 65536 == -2147483648 false 65536 == -2147483647 false 65536 == -32768 false 65536 == -32767 false 65536 == -128 false 65536 == -127 false 65536 == 255 false 65536 == 256 false 65536 == 65535 false 65536 == 65536 true 65536 == 4294967295 false 65536 == 4294967296 false 65536 == 18446744073709551615 false 65536 == 18446744073709551616 false 65536 == 340282366920938463463374607431768211455 false 65536 == 340282366920938463463374607431768211456 false 4294967295 == -170141183460469231731687303715884105728 false 4294967295 == -170141183460469231731687303715884105727 false 4294967295 == -9223372036854775808 false 4294967295 == -9223372036854775807 false 4294967295 == -2147483648 false 4294967295 == -2147483647 false 4294967295 == -32768 false 4294967295 == -32767 false 4294967295 == -128 false 4294967295 == -127 false 4294967295 == 255 false 4294967295 == 256 false 4294967295 == 65535 false 4294967295 == 65536 false 4294967295 == 4294967295 true 4294967295 == 4294967296 false 4294967295 == 18446744073709551615 false 4294967295 == 18446744073709551616 false 4294967295 == 340282366920938463463374607431768211455 false 4294967295 == 340282366920938463463374607431768211456 false 4294967296 == -170141183460469231731687303715884105728 false 4294967296 == -170141183460469231731687303715884105727 false 4294967296 == -9223372036854775808 false 4294967296 == -9223372036854775807 false 4294967296 == -2147483648 false 4294967296 == -2147483647 false 4294967296 == -32768 false 4294967296 == -32767 false 4294967296 == -128 false 4294967296 == -127 false 4294967296 == 255 false 4294967296 == 256 false 4294967296 == 65535 false 4294967296 == 65536 false 4294967296 == 4294967295 false 4294967296 == 4294967296 true 4294967296 == 18446744073709551615 false 4294967296 == 18446744073709551616 false 4294967296 == 340282366920938463463374607431768211455 false 4294967296 == 340282366920938463463374607431768211456 false 18446744073709551615 == -170141183460469231731687303715884105728 false 18446744073709551615 == -170141183460469231731687303715884105727 false 18446744073709551615 == -9223372036854775808 false 18446744073709551615 == -9223372036854775807 false 18446744073709551615 == -2147483648 false 18446744073709551615 == -2147483647 false 18446744073709551615 == -32768 false 18446744073709551615 == -32767 false 18446744073709551615 == -128 false 18446744073709551615 == -127 false 18446744073709551615 == 255 false 18446744073709551615 == 256 false 18446744073709551615 == 65535 false 18446744073709551615 == 65536 false 18446744073709551615 == 4294967295 false 18446744073709551615 == 4294967296 false 18446744073709551615 == 18446744073709551615 true 18446744073709551615 == 18446744073709551616 false 18446744073709551615 == 340282366920938463463374607431768211455 false 18446744073709551615 == 340282366920938463463374607431768211456 false 18446744073709551616 == -170141183460469231731687303715884105728 false 18446744073709551616 == -170141183460469231731687303715884105727 false 18446744073709551616 == -9223372036854775808 false 18446744073709551616 == -9223372036854775807 false 18446744073709551616 == -2147483648 false 18446744073709551616 == -2147483647 false 18446744073709551616 == -32768 false 18446744073709551616 == -32767 false 18446744073709551616 == -128 false 18446744073709551616 == -127 false 18446744073709551616 == 255 false 18446744073709551616 == 256 false 18446744073709551616 == 65535 false 18446744073709551616 == 65536 false 18446744073709551616 == 4294967295 false 18446744073709551616 == 4294967296 false 18446744073709551616 == 18446744073709551615 false 18446744073709551616 == 18446744073709551616 true 18446744073709551616 == 340282366920938463463374607431768211455 false 18446744073709551616 == 340282366920938463463374607431768211456 false 340282366920938463463374607431768211455 == -170141183460469231731687303715884105728 false 340282366920938463463374607431768211455 == -170141183460469231731687303715884105727 false 340282366920938463463374607431768211455 == -9223372036854775808 false 340282366920938463463374607431768211455 == -9223372036854775807 false 340282366920938463463374607431768211455 == -2147483648 false 340282366920938463463374607431768211455 == -2147483647 false 340282366920938463463374607431768211455 == -32768 false 340282366920938463463374607431768211455 == -32767 false 340282366920938463463374607431768211455 == -128 false 340282366920938463463374607431768211455 == -127 false 340282366920938463463374607431768211455 == 255 false 340282366920938463463374607431768211455 == 256 false 340282366920938463463374607431768211455 == 65535 false 340282366920938463463374607431768211455 == 65536 false 340282366920938463463374607431768211455 == 4294967295 false 340282366920938463463374607431768211455 == 4294967296 false 340282366920938463463374607431768211455 == 18446744073709551615 false 340282366920938463463374607431768211455 == 18446744073709551616 false 340282366920938463463374607431768211455 == 340282366920938463463374607431768211455 true 340282366920938463463374607431768211455 == 340282366920938463463374607431768211456 false 340282366920938463463374607431768211456 == -170141183460469231731687303715884105728 false 340282366920938463463374607431768211456 == -170141183460469231731687303715884105727 false 340282366920938463463374607431768211456 == -9223372036854775808 false 340282366920938463463374607431768211456 == -9223372036854775807 false 340282366920938463463374607431768211456 == -2147483648 false 340282366920938463463374607431768211456 == -2147483647 false 340282366920938463463374607431768211456 == -32768 false 340282366920938463463374607431768211456 == -32767 false 340282366920938463463374607431768211456 == -128 false 340282366920938463463374607431768211456 == -127 false 340282366920938463463374607431768211456 == 255 false 340282366920938463463374607431768211456 == 256 false 340282366920938463463374607431768211456 == 65535 false 340282366920938463463374607431768211456 == 65536 false 340282366920938463463374607431768211456 == 4294967295 false 340282366920938463463374607431768211456 == 4294967296 false 340282366920938463463374607431768211456 == 18446744073709551615 false 340282366920938463463374607431768211456 == 18446744073709551616 false 340282366920938463463374607431768211456 == 340282366920938463463374607431768211455 false 340282366920938463463374607431768211456 == 340282366920938463463374607431768211456 true