Edit
kc3-lang/kc3/test/ic3/integer_gt.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_gt.out.expected
-
-170141183460469231731687303715884105728 > -170141183460469231731687303715884105728 false -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 true -170141183460469231731687303715884105727 > -170141183460469231731687303715884105727 false -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 true -9223372036854775808 > -170141183460469231731687303715884105727 true -9223372036854775808 > -9223372036854775808 false -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 true -9223372036854775807 > -170141183460469231731687303715884105727 true -9223372036854775807 > -9223372036854775808 true -9223372036854775807 > -9223372036854775807 false -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 true -2147483648 > -170141183460469231731687303715884105727 true -2147483648 > -9223372036854775808 true -2147483648 > -9223372036854775807 true -2147483648 > -2147483648 false -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 true -2147483647 > -170141183460469231731687303715884105727 true -2147483647 > -9223372036854775808 true -2147483647 > -9223372036854775807 true -2147483647 > -2147483648 true -2147483647 > -2147483647 false -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 true -32768 > -170141183460469231731687303715884105727 true -32768 > -9223372036854775808 true -32768 > -9223372036854775807 true -32768 > -2147483648 true -32768 > -2147483647 true -32768 > -32768 false -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 true -32767 > -170141183460469231731687303715884105727 true -32767 > -9223372036854775808 true -32767 > -9223372036854775807 true -32767 > -2147483648 true -32767 > -2147483647 true -32767 > -32768 true -32767 > -32767 false -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 true -128 > -170141183460469231731687303715884105727 true -128 > -9223372036854775808 true -128 > -9223372036854775807 true -128 > -2147483648 true -128 > -2147483647 true -128 > -32768 true -128 > -32767 true -128 > -128 false -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 true -127 > -170141183460469231731687303715884105727 true -127 > -9223372036854775808 true -127 > -9223372036854775807 true -127 > -2147483648 true -127 > -2147483647 true -127 > -32768 true -127 > -32767 true -127 > -128 true -127 > -127 false -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 true 255 > -170141183460469231731687303715884105727 true 255 > -9223372036854775808 true 255 > -9223372036854775807 true 255 > -2147483648 true 255 > -2147483647 true 255 > -32768 true 255 > -32767 true 255 > -128 true 255 > -127 true 255 > 255 false 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 true 256 > -170141183460469231731687303715884105727 true 256 > -9223372036854775808 true 256 > -9223372036854775807 true 256 > -2147483648 true 256 > -2147483647 true 256 > -32768 true 256 > -32767 true 256 > -128 true 256 > -127 true 256 > 255 true 256 > 256 false 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 true 65535 > -170141183460469231731687303715884105727 true 65535 > -9223372036854775808 true 65535 > -9223372036854775807 true 65535 > -2147483648 true 65535 > -2147483647 true 65535 > -32768 true 65535 > -32767 true 65535 > -128 true 65535 > -127 true 65535 > 255 true 65535 > 256 true 65535 > 65535 false 65535 > 65536 false 65535 > 4294967295 false 65535 > 4294967296 false 65535 > 18446744073709551615 false 65535 > 18446744073709551616 false 65535 > 340282366920938463463374607431768211455 false 65535 > 340282366920938463463374607431768211456 false 65536 > -170141183460469231731687303715884105728 true 65536 > -170141183460469231731687303715884105727 true 65536 > -9223372036854775808 true 65536 > -9223372036854775807 true 65536 > -2147483648 true 65536 > -2147483647 true 65536 > -32768 true 65536 > -32767 true 65536 > -128 true 65536 > -127 true 65536 > 255 true 65536 > 256 true 65536 > 65535 true 65536 > 65536 false 65536 > 4294967295 false 65536 > 4294967296 false 65536 > 18446744073709551615 false 65536 > 18446744073709551616 false 65536 > 340282366920938463463374607431768211455 false 65536 > 340282366920938463463374607431768211456 false 4294967295 > -170141183460469231731687303715884105728 true 4294967295 > -170141183460469231731687303715884105727 true 4294967295 > -9223372036854775808 true 4294967295 > -9223372036854775807 true 4294967295 > -2147483648 true 4294967295 > -2147483647 true 4294967295 > -32768 true 4294967295 > -32767 true 4294967295 > -128 true 4294967295 > -127 true 4294967295 > 255 true 4294967295 > 256 true 4294967295 > 65535 true 4294967295 > 65536 true 4294967295 > 4294967295 false 4294967295 > 4294967296 false 4294967295 > 18446744073709551615 false 4294967295 > 18446744073709551616 false 4294967295 > 340282366920938463463374607431768211455 false 4294967295 > 340282366920938463463374607431768211456 false 4294967296 > -170141183460469231731687303715884105728 true 4294967296 > -170141183460469231731687303715884105727 true 4294967296 > -9223372036854775808 true 4294967296 > -9223372036854775807 true 4294967296 > -2147483648 true 4294967296 > -2147483647 true 4294967296 > -32768 true 4294967296 > -32767 true 4294967296 > -128 true 4294967296 > -127 true 4294967296 > 255 true 4294967296 > 256 true 4294967296 > 65535 true 4294967296 > 65536 true 4294967296 > 4294967295 true 4294967296 > 4294967296 false 4294967296 > 18446744073709551615 false 4294967296 > 18446744073709551616 false 4294967296 > 340282366920938463463374607431768211455 false 4294967296 > 340282366920938463463374607431768211456 false 18446744073709551615 > -170141183460469231731687303715884105728 true 18446744073709551615 > -170141183460469231731687303715884105727 true 18446744073709551615 > -9223372036854775808 true 18446744073709551615 > -9223372036854775807 true 18446744073709551615 > -2147483648 true 18446744073709551615 > -2147483647 true 18446744073709551615 > -32768 true 18446744073709551615 > -32767 true 18446744073709551615 > -128 true 18446744073709551615 > -127 true 18446744073709551615 > 255 true 18446744073709551615 > 256 true 18446744073709551615 > 65535 true 18446744073709551615 > 65536 true 18446744073709551615 > 4294967295 true 18446744073709551615 > 4294967296 true 18446744073709551615 > 18446744073709551615 false 18446744073709551615 > 18446744073709551616 false 18446744073709551615 > 340282366920938463463374607431768211455 false 18446744073709551615 > 340282366920938463463374607431768211456 false 18446744073709551616 > -170141183460469231731687303715884105728 true 18446744073709551616 > -170141183460469231731687303715884105727 true 18446744073709551616 > -9223372036854775808 true 18446744073709551616 > -9223372036854775807 true 18446744073709551616 > -2147483648 true 18446744073709551616 > -2147483647 true 18446744073709551616 > -32768 true 18446744073709551616 > -32767 true 18446744073709551616 > -128 true 18446744073709551616 > -127 true 18446744073709551616 > 255 true 18446744073709551616 > 256 true 18446744073709551616 > 65535 true 18446744073709551616 > 65536 true 18446744073709551616 > 4294967295 true 18446744073709551616 > 4294967296 true 18446744073709551616 > 18446744073709551615 true 18446744073709551616 > 18446744073709551616 false 18446744073709551616 > 340282366920938463463374607431768211455 false 18446744073709551616 > 340282366920938463463374607431768211456 false 340282366920938463463374607431768211455 > -170141183460469231731687303715884105728 true 340282366920938463463374607431768211455 > -170141183460469231731687303715884105727 true 340282366920938463463374607431768211455 > -9223372036854775808 true 340282366920938463463374607431768211455 > -9223372036854775807 true 340282366920938463463374607431768211455 > -2147483648 true 340282366920938463463374607431768211455 > -2147483647 true 340282366920938463463374607431768211455 > -32768 true 340282366920938463463374607431768211455 > -32767 true 340282366920938463463374607431768211455 > -128 true 340282366920938463463374607431768211455 > -127 true 340282366920938463463374607431768211455 > 255 true 340282366920938463463374607431768211455 > 256 true 340282366920938463463374607431768211455 > 65535 true 340282366920938463463374607431768211455 > 65536 true 340282366920938463463374607431768211455 > 4294967295 true 340282366920938463463374607431768211455 > 4294967296 true 340282366920938463463374607431768211455 > 18446744073709551615 true 340282366920938463463374607431768211455 > 18446744073709551616 true 340282366920938463463374607431768211455 > 340282366920938463463374607431768211455 false 340282366920938463463374607431768211455 > 340282366920938463463374607431768211456 false 340282366920938463463374607431768211456 > -170141183460469231731687303715884105728 true 340282366920938463463374607431768211456 > -170141183460469231731687303715884105727 true 340282366920938463463374607431768211456 > -9223372036854775808 true 340282366920938463463374607431768211456 > -9223372036854775807 true 340282366920938463463374607431768211456 > -2147483648 true 340282366920938463463374607431768211456 > -2147483647 true 340282366920938463463374607431768211456 > -32768 true 340282366920938463463374607431768211456 > -32767 true 340282366920938463463374607431768211456 > -128 true 340282366920938463463374607431768211456 > -127 true 340282366920938463463374607431768211456 > 255 true 340282366920938463463374607431768211456 > 256 true 340282366920938463463374607431768211456 > 65535 true 340282366920938463463374607431768211456 > 65536 true 340282366920938463463374607431768211456 > 4294967295 true 340282366920938463463374607431768211456 > 4294967296 true 340282366920938463463374607431768211456 > 18446744073709551615 true 340282366920938463463374607431768211456 > 18446744073709551616 true 340282366920938463463374607431768211456 > 340282366920938463463374607431768211455 true 340282366920938463463374607431768211456 > 340282366920938463463374607431768211456 false