Edit
kc3-lang/kc3/test/ic3/integer_lt.out.expected
Branch :
-
Show log
Commit
-
Author :
Thomas de Grivel
Date : 2023-11-19 14:07:20
Hash : d1c45502
Message : fix map
- test/ic3/integer_lt.out.expected
-
-170141183460469231731687303715884105728 < -170141183460469231731687303715884105728 false -170141183460469231731687303715884105728 < -170141183460469231731687303715884105727 true -170141183460469231731687303715884105728 < -9223372036854775808 true -170141183460469231731687303715884105728 < -9223372036854775807 true -170141183460469231731687303715884105728 < -2147483648 true -170141183460469231731687303715884105728 < -2147483647 true -170141183460469231731687303715884105728 < -32768 true -170141183460469231731687303715884105728 < -32767 true -170141183460469231731687303715884105728 < -128 true -170141183460469231731687303715884105728 < -127 true -170141183460469231731687303715884105728 < 255 true -170141183460469231731687303715884105728 < 256 true -170141183460469231731687303715884105728 < 65535 true -170141183460469231731687303715884105728 < 65536 true -170141183460469231731687303715884105728 < 4294967295 true -170141183460469231731687303715884105728 < 4294967296 true -170141183460469231731687303715884105728 < 18446744073709551615 true -170141183460469231731687303715884105728 < 18446744073709551616 true -170141183460469231731687303715884105728 < 340282366920938463463374607431768211455 true -170141183460469231731687303715884105728 < 340282366920938463463374607431768211456 true -170141183460469231731687303715884105727 < -170141183460469231731687303715884105728 false -170141183460469231731687303715884105727 < -170141183460469231731687303715884105727 false -170141183460469231731687303715884105727 < -9223372036854775808 true -170141183460469231731687303715884105727 < -9223372036854775807 true -170141183460469231731687303715884105727 < -2147483648 true -170141183460469231731687303715884105727 < -2147483647 true -170141183460469231731687303715884105727 < -32768 true -170141183460469231731687303715884105727 < -32767 true -170141183460469231731687303715884105727 < -128 true -170141183460469231731687303715884105727 < -127 true -170141183460469231731687303715884105727 < 255 true -170141183460469231731687303715884105727 < 256 true -170141183460469231731687303715884105727 < 65535 true -170141183460469231731687303715884105727 < 65536 true -170141183460469231731687303715884105727 < 4294967295 true -170141183460469231731687303715884105727 < 4294967296 true -170141183460469231731687303715884105727 < 18446744073709551615 true -170141183460469231731687303715884105727 < 18446744073709551616 true -170141183460469231731687303715884105727 < 340282366920938463463374607431768211455 true -170141183460469231731687303715884105727 < 340282366920938463463374607431768211456 true -9223372036854775808 < -170141183460469231731687303715884105728 false -9223372036854775808 < -170141183460469231731687303715884105727 false -9223372036854775808 < -9223372036854775808 false -9223372036854775808 < -9223372036854775807 true -9223372036854775808 < -2147483648 true -9223372036854775808 < -2147483647 true -9223372036854775808 < -32768 true -9223372036854775808 < -32767 true -9223372036854775808 < -128 true -9223372036854775808 < -127 true -9223372036854775808 < 255 true -9223372036854775808 < 256 true -9223372036854775808 < 65535 true -9223372036854775808 < 65536 true -9223372036854775808 < 4294967295 true -9223372036854775808 < 4294967296 true -9223372036854775808 < 18446744073709551615 true -9223372036854775808 < 18446744073709551616 true -9223372036854775808 < 340282366920938463463374607431768211455 true -9223372036854775808 < 340282366920938463463374607431768211456 true -9223372036854775807 < -170141183460469231731687303715884105728 false -9223372036854775807 < -170141183460469231731687303715884105727 false -9223372036854775807 < -9223372036854775808 false -9223372036854775807 < -9223372036854775807 false -9223372036854775807 < -2147483648 true -9223372036854775807 < -2147483647 true -9223372036854775807 < -32768 true -9223372036854775807 < -32767 true -9223372036854775807 < -128 true -9223372036854775807 < -127 true -9223372036854775807 < 255 true -9223372036854775807 < 256 true -9223372036854775807 < 65535 true -9223372036854775807 < 65536 true -9223372036854775807 < 4294967295 true -9223372036854775807 < 4294967296 true -9223372036854775807 < 18446744073709551615 true -9223372036854775807 < 18446744073709551616 true -9223372036854775807 < 340282366920938463463374607431768211455 true -9223372036854775807 < 340282366920938463463374607431768211456 true -2147483648 < -170141183460469231731687303715884105728 false -2147483648 < -170141183460469231731687303715884105727 false -2147483648 < -9223372036854775808 false -2147483648 < -9223372036854775807 false -2147483648 < -2147483648 false -2147483648 < -2147483647 true -2147483648 < -32768 true -2147483648 < -32767 true -2147483648 < -128 true -2147483648 < -127 true -2147483648 < 255 true -2147483648 < 256 true -2147483648 < 65535 true -2147483648 < 65536 true -2147483648 < 4294967295 true -2147483648 < 4294967296 true -2147483648 < 18446744073709551615 true -2147483648 < 18446744073709551616 true -2147483648 < 340282366920938463463374607431768211455 true -2147483648 < 340282366920938463463374607431768211456 true -2147483647 < -170141183460469231731687303715884105728 false -2147483647 < -170141183460469231731687303715884105727 false -2147483647 < -9223372036854775808 false -2147483647 < -9223372036854775807 false -2147483647 < -2147483648 false -2147483647 < -2147483647 false -2147483647 < -32768 true -2147483647 < -32767 true -2147483647 < -128 true -2147483647 < -127 true -2147483647 < 255 true -2147483647 < 256 true -2147483647 < 65535 true -2147483647 < 65536 true -2147483647 < 4294967295 true -2147483647 < 4294967296 true -2147483647 < 18446744073709551615 true -2147483647 < 18446744073709551616 true -2147483647 < 340282366920938463463374607431768211455 true -2147483647 < 340282366920938463463374607431768211456 true -32768 < -170141183460469231731687303715884105728 false -32768 < -170141183460469231731687303715884105727 false -32768 < -9223372036854775808 false -32768 < -9223372036854775807 false -32768 < -2147483648 false -32768 < -2147483647 false -32768 < -32768 false -32768 < -32767 true -32768 < -128 true -32768 < -127 true -32768 < 255 true -32768 < 256 true -32768 < 65535 true -32768 < 65536 true -32768 < 4294967295 true -32768 < 4294967296 true -32768 < 18446744073709551615 true -32768 < 18446744073709551616 true -32768 < 340282366920938463463374607431768211455 true -32768 < 340282366920938463463374607431768211456 true -32767 < -170141183460469231731687303715884105728 false -32767 < -170141183460469231731687303715884105727 false -32767 < -9223372036854775808 false -32767 < -9223372036854775807 false -32767 < -2147483648 false -32767 < -2147483647 false -32767 < -32768 false -32767 < -32767 false -32767 < -128 true -32767 < -127 true -32767 < 255 true -32767 < 256 true -32767 < 65535 true -32767 < 65536 true -32767 < 4294967295 true -32767 < 4294967296 true -32767 < 18446744073709551615 true -32767 < 18446744073709551616 true -32767 < 340282366920938463463374607431768211455 true -32767 < 340282366920938463463374607431768211456 true -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 false -128 < -127 true -128 < 255 true -128 < 256 true -128 < 65535 true -128 < 65536 true -128 < 4294967295 true -128 < 4294967296 true -128 < 18446744073709551615 true -128 < 18446744073709551616 true -128 < 340282366920938463463374607431768211455 true -128 < 340282366920938463463374607431768211456 true -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 false -127 < 255 true -127 < 256 true -127 < 65535 true -127 < 65536 true -127 < 4294967295 true -127 < 4294967296 true -127 < 18446744073709551615 true -127 < 18446744073709551616 true -127 < 340282366920938463463374607431768211455 true -127 < 340282366920938463463374607431768211456 true 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 false 255 < 256 true 255 < 65535 true 255 < 65536 true 255 < 4294967295 true 255 < 4294967296 true 255 < 18446744073709551615 true 255 < 18446744073709551616 true 255 < 340282366920938463463374607431768211455 true 255 < 340282366920938463463374607431768211456 true 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 false 256 < 65535 true 256 < 65536 true 256 < 4294967295 true 256 < 4294967296 true 256 < 18446744073709551615 true 256 < 18446744073709551616 true 256 < 340282366920938463463374607431768211455 true 256 < 340282366920938463463374607431768211456 true 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 false 65535 < 65536 true 65535 < 4294967295 true 65535 < 4294967296 true 65535 < 18446744073709551615 true 65535 < 18446744073709551616 true 65535 < 340282366920938463463374607431768211455 true 65535 < 340282366920938463463374607431768211456 true 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 false 65536 < 4294967295 true 65536 < 4294967296 true 65536 < 18446744073709551615 true 65536 < 18446744073709551616 true 65536 < 340282366920938463463374607431768211455 true 65536 < 340282366920938463463374607431768211456 true 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 false 4294967295 < 4294967296 true 4294967295 < 18446744073709551615 true 4294967295 < 18446744073709551616 true 4294967295 < 340282366920938463463374607431768211455 true 4294967295 < 340282366920938463463374607431768211456 true 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 false 4294967296 < 18446744073709551615 true 4294967296 < 18446744073709551616 true 4294967296 < 340282366920938463463374607431768211455 true 4294967296 < 340282366920938463463374607431768211456 true 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 false 18446744073709551615 < 18446744073709551616 true 18446744073709551615 < 340282366920938463463374607431768211455 true 18446744073709551615 < 340282366920938463463374607431768211456 true 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 false 18446744073709551616 < 340282366920938463463374607431768211455 true 18446744073709551616 < 340282366920938463463374607431768211456 true 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 false 340282366920938463463374607431768211455 < 340282366920938463463374607431768211456 true 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 false