kmx git

-170141183460469231731687303715884105728 + -170141183460469231731687303715884105728
-340282366920938463463374607431768211456
-170141183460469231731687303715884105728 + -170141183460469231731687303715884105727
-340282366920938463463374607431768211455
-170141183460469231731687303715884105728 + -9223372036854775808
-170141183460469231740910675752738881536
-170141183460469231731687303715884105728 + -9223372036854775807
-170141183460469231740910675752738881535
-170141183460469231731687303715884105728 + -2147483648
-170141183460469231731687303718031589376
-170141183460469231731687303715884105728 + -2147483647
-170141183460469231731687303718031589375
-170141183460469231731687303715884105728 + -32768
-170141183460469231731687303715884138496
-170141183460469231731687303715884105728 + -32767
-170141183460469231731687303715884138495
-170141183460469231731687303715884105728 + -128
-170141183460469231731687303715884105856
-170141183460469231731687303715884105728 + -127
-170141183460469231731687303715884105855
-170141183460469231731687303715884105728 + 255
-170141183460469231731687303715884105473
-170141183460469231731687303715884105728 + 256
-170141183460469231731687303715884105472
-170141183460469231731687303715884105728 + 65535
-170141183460469231731687303715884040193
-170141183460469231731687303715884105728 + 65536
-170141183460469231731687303715884040192
-170141183460469231731687303715884105728 + 4294967295
-170141183460469231731687303711589138433
-170141183460469231731687303715884105728 + 4294967296
-170141183460469231731687303711589138432
-170141183460469231731687303715884105728 + 18446744073709551615
-170141183460469231713240559642174554113
-170141183460469231731687303715884105728 + 18446744073709551616
-170141183460469231713240559642174554112
-170141183460469231731687303715884105728 + 340282366920938463463374607431768211455
170141183460469231731687303715884105727
-170141183460469231731687303715884105728 + 340282366920938463463374607431768211456
170141183460469231731687303715884105728
-170141183460469231731687303715884105727 + -170141183460469231731687303715884105728
-340282366920938463463374607431768211455
-170141183460469231731687303715884105727 + -170141183460469231731687303715884105727
-340282366920938463463374607431768211454
-170141183460469231731687303715884105727 + -9223372036854775808
-170141183460469231740910675752738881535
-170141183460469231731687303715884105727 + -9223372036854775807
-170141183460469231740910675752738881534
-170141183460469231731687303715884105727 + -2147483648
-170141183460469231731687303718031589375
-170141183460469231731687303715884105727 + -2147483647
-170141183460469231731687303718031589374
-170141183460469231731687303715884105727 + -32768
-170141183460469231731687303715884138495
-170141183460469231731687303715884105727 + -32767
-170141183460469231731687303715884138494
-170141183460469231731687303715884105727 + -128
-170141183460469231731687303715884105855
-170141183460469231731687303715884105727 + -127
-170141183460469231731687303715884105854
-170141183460469231731687303715884105727 + 255
-170141183460469231731687303715884105472
-170141183460469231731687303715884105727 + 256
-170141183460469231731687303715884105471
-170141183460469231731687303715884105727 + 65535
-170141183460469231731687303715884040192
-170141183460469231731687303715884105727 + 65536
-170141183460469231731687303715884040191
-170141183460469231731687303715884105727 + 4294967295
-170141183460469231731687303711589138432
-170141183460469231731687303715884105727 + 4294967296
-170141183460469231731687303711589138431
-170141183460469231731687303715884105727 + 18446744073709551615
-170141183460469231713240559642174554112
-170141183460469231731687303715884105727 + 18446744073709551616
-170141183460469231713240559642174554111
-170141183460469231731687303715884105727 + 340282366920938463463374607431768211455
170141183460469231731687303715884105728
-170141183460469231731687303715884105727 + 340282366920938463463374607431768211456
170141183460469231731687303715884105729
-9223372036854775808 + -170141183460469231731687303715884105728
-170141183460469231740910675752738881536
-9223372036854775808 + -170141183460469231731687303715884105727
-170141183460469231740910675752738881535
-9223372036854775808 + -9223372036854775808
-18446744073709551616
-9223372036854775808 + -9223372036854775807
-18446744073709551615
-9223372036854775808 + -2147483648
-9223372039002259456
-9223372036854775808 + -2147483647
-9223372039002259455
-9223372036854775808 + -32768
-9223372036854808576
-9223372036854775808 + -32767
-9223372036854808575
-9223372036854775808 + -128
-9223372036854775936
-9223372036854775808 + -127
-9223372036854775935
-9223372036854775808 + 255
-9223372036854775553
-9223372036854775808 + 256
-9223372036854775552
-9223372036854775808 + 65535
-9223372036854710273
-9223372036854775808 + 65536
-9223372036854710272
-9223372036854775808 + 4294967295
-9223372032559808513
-9223372036854775808 + 4294967296
-9223372032559808512
-9223372036854775808 + 18446744073709551615
9223372036854775807
-9223372036854775808 + 18446744073709551616
9223372036854775808
-9223372036854775808 + 340282366920938463463374607431768211455
340282366920938463454151235394913435647
-9223372036854775808 + 340282366920938463463374607431768211456
340282366920938463454151235394913435648
-9223372036854775807 + -170141183460469231731687303715884105728
-170141183460469231740910675752738881535
-9223372036854775807 + -170141183460469231731687303715884105727
-170141183460469231740910675752738881534
-9223372036854775807 + -9223372036854775808
-18446744073709551615
-9223372036854775807 + -9223372036854775807
-18446744073709551614
-9223372036854775807 + -2147483648
-9223372039002259455
-9223372036854775807 + -2147483647
-9223372039002259454
-9223372036854775807 + -32768
-9223372036854808575
-9223372036854775807 + -32767
-9223372036854808574
-9223372036854775807 + -128
-9223372036854775935
-9223372036854775807 + -127
-9223372036854775934
-9223372036854775807 + 255
-9223372036854775552
-9223372036854775807 + 256
-9223372036854775551
-9223372036854775807 + 65535
-9223372036854710272
-9223372036854775807 + 65536
-9223372036854710271
-9223372036854775807 + 4294967295
-9223372032559808512
-9223372036854775807 + 4294967296
-9223372032559808511
-9223372036854775807 + 18446744073709551615
9223372036854775808
-9223372036854775807 + 18446744073709551616
9223372036854775809
-9223372036854775807 + 340282366920938463463374607431768211455
340282366920938463454151235394913435648
-9223372036854775807 + 340282366920938463463374607431768211456
340282366920938463454151235394913435649
-2147483648 + -170141183460469231731687303715884105728
-170141183460469231731687303718031589376
-2147483648 + -170141183460469231731687303715884105727
-170141183460469231731687303718031589375
-2147483648 + -9223372036854775808
-9223372039002259456
-2147483648 + -9223372036854775807
-9223372039002259455
-2147483648 + -2147483648
-4294967296
-2147483648 + -2147483647
-4294967295
-2147483648 + -32768
-2147516416
-2147483648 + -32767
-2147516415
-2147483648 + -128
-2147483776
-2147483648 + -127
-2147483775
-2147483648 + 255
-2147483393
-2147483648 + 256
-2147483392
-2147483648 + 65535
-2147418113
-2147483648 + 65536
-2147418112
-2147483648 + 4294967295
2147483647
-2147483648 + 4294967296
2147483648
-2147483648 + 18446744073709551615
18446744071562067967
-2147483648 + 18446744073709551616
18446744071562067968
-2147483648 + 340282366920938463463374607431768211455
340282366920938463463374607429620727807
-2147483648 + 340282366920938463463374607431768211456
340282366920938463463374607429620727808
-2147483647 + -170141183460469231731687303715884105728
-170141183460469231731687303718031589375
-2147483647 + -170141183460469231731687303715884105727
-170141183460469231731687303718031589374
-2147483647 + -9223372036854775808
-9223372039002259455
-2147483647 + -9223372036854775807
-9223372039002259454
-2147483647 + -2147483648
-4294967295
-2147483647 + -2147483647
-4294967294
-2147483647 + -32768
-2147516415
-2147483647 + -32767
-2147516414
-2147483647 + -128
-2147483775
-2147483647 + -127
-2147483774
-2147483647 + 255
-2147483392
-2147483647 + 256
-2147483391
-2147483647 + 65535
-2147418112
-2147483647 + 65536
-2147418111
-2147483647 + 4294967295
2147483648
-2147483647 + 4294967296
2147483649
-2147483647 + 18446744073709551615
18446744071562067968
-2147483647 + 18446744073709551616
18446744071562067969
-2147483647 + 340282366920938463463374607431768211455
340282366920938463463374607429620727808
-2147483647 + 340282366920938463463374607431768211456
340282366920938463463374607429620727809
-32768 + -170141183460469231731687303715884105728
-170141183460469231731687303715884138496
-32768 + -170141183460469231731687303715884105727
-170141183460469231731687303715884138495
-32768 + -9223372036854775808
-9223372036854808576
-32768 + -9223372036854775807
-9223372036854808575
-32768 + -2147483648
-2147516416
-32768 + -2147483647
-2147516415
-32768 + -32768
-65536
-32768 + -32767
-65535
-32768 + -128
-32896
-32768 + -127
-32895
-32768 + 255
-32513
-32768 + 256
-32512
-32768 + 65535
32767
-32768 + 65536
32768
-32768 + 4294967295
4294934527
-32768 + 4294967296
4294934528
-32768 + 18446744073709551615
18446744073709518847
-32768 + 18446744073709551616
18446744073709518848
-32768 + 340282366920938463463374607431768211455
340282366920938463463374607431768178687
-32768 + 340282366920938463463374607431768211456
340282366920938463463374607431768178688
-32767 + -170141183460469231731687303715884105728
-170141183460469231731687303715884138495
-32767 + -170141183460469231731687303715884105727
-170141183460469231731687303715884138494
-32767 + -9223372036854775808
-9223372036854808575
-32767 + -9223372036854775807
-9223372036854808574
-32767 + -2147483648
-2147516415
-32767 + -2147483647
-2147516414
-32767 + -32768
-65535
-32767 + -32767
-65534
-32767 + -128
-32895
-32767 + -127
-32894
-32767 + 255
-32512
-32767 + 256
-32511
-32767 + 65535
32768
-32767 + 65536
32769
-32767 + 4294967295
4294934528
-32767 + 4294967296
4294934529
-32767 + 18446744073709551615
18446744073709518848
-32767 + 18446744073709551616
18446744073709518849
-32767 + 340282366920938463463374607431768211455
340282366920938463463374607431768178688
-32767 + 340282366920938463463374607431768211456
340282366920938463463374607431768178689
-128 + -170141183460469231731687303715884105728
-170141183460469231731687303715884105856
-128 + -170141183460469231731687303715884105727
-170141183460469231731687303715884105855
-128 + -9223372036854775808
-9223372036854775936
-128 + -9223372036854775807
-9223372036854775935
-128 + -2147483648
-2147483776
-128 + -2147483647
-2147483775
-128 + -32768
-32896
-128 + -32767
-32895
-128 + -128
-256
-128 + -127
-255
-128 + 255
127
-128 + 256
128
-128 + 65535
65407
-128 + 65536
65408
-128 + 4294967295
4294967167
-128 + 4294967296
4294967168
-128 + 18446744073709551615
18446744073709551487
-128 + 18446744073709551616
18446744073709551488
-128 + 340282366920938463463374607431768211455
340282366920938463463374607431768211327
-128 + 340282366920938463463374607431768211456
340282366920938463463374607431768211328
-127 + -170141183460469231731687303715884105728
-170141183460469231731687303715884105855
-127 + -170141183460469231731687303715884105727
-170141183460469231731687303715884105854
-127 + -9223372036854775808
-9223372036854775935
-127 + -9223372036854775807
-9223372036854775934
-127 + -2147483648
-2147483775
-127 + -2147483647
-2147483774
-127 + -32768
-32895
-127 + -32767
-32894
-127 + -128
-255
-127 + -127
-254
-127 + 255
128
-127 + 256
129
-127 + 65535
65408
-127 + 65536
65409
-127 + 4294967295
4294967168
-127 + 4294967296
4294967169
-127 + 18446744073709551615
18446744073709551488
-127 + 18446744073709551616
18446744073709551489
-127 + 340282366920938463463374607431768211455
340282366920938463463374607431768211328
-127 + 340282366920938463463374607431768211456
340282366920938463463374607431768211329
255 + -170141183460469231731687303715884105728
-170141183460469231731687303715884105473
255 + -170141183460469231731687303715884105727
-170141183460469231731687303715884105472
255 + -9223372036854775808
-9223372036854775553
255 + -9223372036854775807
-9223372036854775552
255 + -2147483648
-2147483393
255 + -2147483647
-2147483392
255 + -32768
-32513
255 + -32767
-32512
255 + -128
127
255 + -127
128
255 + 255
510
255 + 256
511
255 + 65535
65790
255 + 65536
65791
255 + 4294967295
4294967550
255 + 4294967296
4294967551
255 + 18446744073709551615
18446744073709551870
255 + 18446744073709551616
18446744073709551871
255 + 340282366920938463463374607431768211455
340282366920938463463374607431768211710
255 + 340282366920938463463374607431768211456
340282366920938463463374607431768211711
256 + -170141183460469231731687303715884105728
-170141183460469231731687303715884105472
256 + -170141183460469231731687303715884105727
-170141183460469231731687303715884105471
256 + -9223372036854775808
-9223372036854775552
256 + -9223372036854775807
-9223372036854775551
256 + -2147483648
-2147483392
256 + -2147483647
-2147483391
256 + -32768
-32512
256 + -32767
-32511
256 + -128
128
256 + -127
129
256 + 255
511
256 + 256
512
256 + 65535
65791
256 + 65536
65792
256 + 4294967295
4294967551
256 + 4294967296
4294967552
256 + 18446744073709551615
18446744073709551871
256 + 18446744073709551616
18446744073709551872
256 + 340282366920938463463374607431768211455
340282366920938463463374607431768211711
256 + 340282366920938463463374607431768211456
340282366920938463463374607431768211712
65535 + -170141183460469231731687303715884105728
-170141183460469231731687303715884040193
65535 + -170141183460469231731687303715884105727
-170141183460469231731687303715884040192
65535 + -9223372036854775808
-9223372036854710273
65535 + -9223372036854775807
-9223372036854710272
65535 + -2147483648
-2147418113
65535 + -2147483647
-2147418112
65535 + -32768
32767
65535 + -32767
32768
65535 + -128
65407
65535 + -127
65408
65535 + 255
65790
65535 + 256
65791
65535 + 65535
131070
65535 + 65536
131071
65535 + 4294967295
4295032830
65535 + 4294967296
4295032831
65535 + 18446744073709551615
18446744073709617150
65535 + 18446744073709551616
18446744073709617151
65535 + 340282366920938463463374607431768211455
340282366920938463463374607431768276990
65535 + 340282366920938463463374607431768211456
340282366920938463463374607431768276991
65536 + -170141183460469231731687303715884105728
-170141183460469231731687303715884040192
65536 + -170141183460469231731687303715884105727
-170141183460469231731687303715884040191
65536 + -9223372036854775808
-9223372036854710272
65536 + -9223372036854775807
-9223372036854710271
65536 + -2147483648
-2147418112
65536 + -2147483647
-2147418111
65536 + -32768
32768
65536 + -32767
32769
65536 + -128
65408
65536 + -127
65409
65536 + 255
65791
65536 + 256
65792
65536 + 65535
131071
65536 + 65536
131072
65536 + 4294967295
4295032831
65536 + 4294967296
4295032832
65536 + 18446744073709551615
18446744073709617151
65536 + 18446744073709551616
18446744073709617152
65536 + 340282366920938463463374607431768211455
340282366920938463463374607431768276991
65536 + 340282366920938463463374607431768211456
340282366920938463463374607431768276992
4294967295 + -170141183460469231731687303715884105728
-170141183460469231731687303711589138433
4294967295 + -170141183460469231731687303715884105727
-170141183460469231731687303711589138432
4294967295 + -9223372036854775808
-9223372032559808513
4294967295 + -9223372036854775807
-9223372032559808512
4294967295 + -2147483648
2147483647
4294967295 + -2147483647
2147483648
4294967295 + -32768
4294934527
4294967295 + -32767
4294934528
4294967295 + -128
4294967167
4294967295 + -127
4294967168
4294967295 + 255
4294967550
4294967295 + 256
4294967551
4294967295 + 65535
4295032830
4294967295 + 65536
4295032831
4294967295 + 4294967295
8589934590
4294967295 + 4294967296
8589934591
4294967295 + 18446744073709551615
18446744078004518910
4294967295 + 18446744073709551616
18446744078004518911
4294967295 + 340282366920938463463374607431768211455
340282366920938463463374607436063178750
4294967295 + 340282366920938463463374607431768211456
340282366920938463463374607436063178751
4294967296 + -170141183460469231731687303715884105728
-170141183460469231731687303711589138432
4294967296 + -170141183460469231731687303715884105727
-170141183460469231731687303711589138431
4294967296 + -9223372036854775808
-9223372032559808512
4294967296 + -9223372036854775807
-9223372032559808511
4294967296 + -2147483648
2147483648
4294967296 + -2147483647
2147483649
4294967296 + -32768
4294934528
4294967296 + -32767
4294934529
4294967296 + -128
4294967168
4294967296 + -127
4294967169
4294967296 + 255
4294967551
4294967296 + 256
4294967552
4294967296 + 65535
4295032831
4294967296 + 65536
4295032832
4294967296 + 4294967295
8589934591
4294967296 + 4294967296
8589934592
4294967296 + 18446744073709551615
18446744078004518911
4294967296 + 18446744073709551616
18446744078004518912
4294967296 + 340282366920938463463374607431768211455
340282366920938463463374607436063178751
4294967296 + 340282366920938463463374607431768211456
340282366920938463463374607436063178752
18446744073709551615 + -170141183460469231731687303715884105728
-170141183460469231713240559642174554113
18446744073709551615 + -170141183460469231731687303715884105727
-170141183460469231713240559642174554112
18446744073709551615 + -9223372036854775808
9223372036854775807
18446744073709551615 + -9223372036854775807
9223372036854775808
18446744073709551615 + -2147483648
18446744071562067967
18446744073709551615 + -2147483647
18446744071562067968
18446744073709551615 + -32768
18446744073709518847
18446744073709551615 + -32767
18446744073709518848
18446744073709551615 + -128
18446744073709551487
18446744073709551615 + -127
18446744073709551488
18446744073709551615 + 255
18446744073709551870
18446744073709551615 + 256
18446744073709551871
18446744073709551615 + 65535
18446744073709617150
18446744073709551615 + 65536
18446744073709617151
18446744073709551615 + 4294967295
18446744078004518910
18446744073709551615 + 4294967296
18446744078004518911
18446744073709551615 + 18446744073709551615
36893488147419103230
18446744073709551615 + 18446744073709551616
36893488147419103231
18446744073709551615 + 340282366920938463463374607431768211455
340282366920938463481821351505477763070
18446744073709551615 + 340282366920938463463374607431768211456
340282366920938463481821351505477763071
18446744073709551616 + -170141183460469231731687303715884105728
-170141183460469231713240559642174554112
18446744073709551616 + -170141183460469231731687303715884105727
-170141183460469231713240559642174554111
18446744073709551616 + -9223372036854775808
9223372036854775808
18446744073709551616 + -9223372036854775807
9223372036854775809
18446744073709551616 + -2147483648
18446744071562067968
18446744073709551616 + -2147483647
18446744071562067969
18446744073709551616 + -32768
18446744073709518848
18446744073709551616 + -32767
18446744073709518849
18446744073709551616 + -128
18446744073709551488
18446744073709551616 + -127
18446744073709551489
18446744073709551616 + 255
18446744073709551871
18446744073709551616 + 256
18446744073709551872
18446744073709551616 + 65535
18446744073709617151
18446744073709551616 + 65536
18446744073709617152
18446744073709551616 + 4294967295
18446744078004518911
18446744073709551616 + 4294967296
18446744078004518912
18446744073709551616 + 18446744073709551615
36893488147419103231
18446744073709551616 + 18446744073709551616
36893488147419103232
18446744073709551616 + 340282366920938463463374607431768211455
340282366920938463481821351505477763071
18446744073709551616 + 340282366920938463463374607431768211456
340282366920938463481821351505477763072
340282366920938463463374607431768211455 + -170141183460469231731687303715884105728
170141183460469231731687303715884105727
340282366920938463463374607431768211455 + -170141183460469231731687303715884105727
170141183460469231731687303715884105728
340282366920938463463374607431768211455 + -9223372036854775808
340282366920938463454151235394913435647
340282366920938463463374607431768211455 + -9223372036854775807
340282366920938463454151235394913435648
340282366920938463463374607431768211455 + -2147483648
340282366920938463463374607429620727807
340282366920938463463374607431768211455 + -2147483647
340282366920938463463374607429620727808
340282366920938463463374607431768211455 + -32768
340282366920938463463374607431768178687
340282366920938463463374607431768211455 + -32767
340282366920938463463374607431768178688
340282366920938463463374607431768211455 + -128
340282366920938463463374607431768211327
340282366920938463463374607431768211455 + -127
340282366920938463463374607431768211328
340282366920938463463374607431768211455 + 255
340282366920938463463374607431768211710
340282366920938463463374607431768211455 + 256
340282366920938463463374607431768211711
340282366920938463463374607431768211455 + 65535
340282366920938463463374607431768276990
340282366920938463463374607431768211455 + 65536
340282366920938463463374607431768276991
340282366920938463463374607431768211455 + 4294967295
340282366920938463463374607436063178750
340282366920938463463374607431768211455 + 4294967296
340282366920938463463374607436063178751
340282366920938463463374607431768211455 + 18446744073709551615
340282366920938463481821351505477763070
340282366920938463463374607431768211455 + 18446744073709551616
340282366920938463481821351505477763071
340282366920938463463374607431768211455 + 340282366920938463463374607431768211455
680564733841876926926749214863536422910
340282366920938463463374607431768211455 + 340282366920938463463374607431768211456
680564733841876926926749214863536422911
340282366920938463463374607431768211456 + -170141183460469231731687303715884105728
170141183460469231731687303715884105728
340282366920938463463374607431768211456 + -170141183460469231731687303715884105727
170141183460469231731687303715884105729
340282366920938463463374607431768211456 + -9223372036854775808
340282366920938463454151235394913435648
340282366920938463463374607431768211456 + -9223372036854775807
340282366920938463454151235394913435649
340282366920938463463374607431768211456 + -2147483648
340282366920938463463374607429620727808
340282366920938463463374607431768211456 + -2147483647
340282366920938463463374607429620727809
340282366920938463463374607431768211456 + -32768
340282366920938463463374607431768178688
340282366920938463463374607431768211456 + -32767
340282366920938463463374607431768178689
340282366920938463463374607431768211456 + -128
340282366920938463463374607431768211328
340282366920938463463374607431768211456 + -127
340282366920938463463374607431768211329
340282366920938463463374607431768211456 + 255
340282366920938463463374607431768211711
340282366920938463463374607431768211456 + 256
340282366920938463463374607431768211712
340282366920938463463374607431768211456 + 65535
340282366920938463463374607431768276991
340282366920938463463374607431768211456 + 65536
340282366920938463463374607431768276992
340282366920938463463374607431768211456 + 4294967295
340282366920938463463374607436063178751
340282366920938463463374607431768211456 + 4294967296
340282366920938463463374607436063178752
340282366920938463463374607431768211456 + 18446744073709551615
340282366920938463481821351505477763071
340282366920938463463374607431768211456 + 18446744073709551616
340282366920938463481821351505477763072
340282366920938463463374607431768211456 + 340282366920938463463374607431768211455
680564733841876926926749214863536422911
340282366920938463463374607431768211456 + 340282366920938463463374607431768211456
680564733841876926926749214863536422912
kc3-lang/kc3/test/ic3/integer_add.out.expected

Commit

test/ic3/integer_add.out.expected
