X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=test%2Fsystem%2Fcasl2%2Flib_mull%2F0.txt;h=5e21666196e0a195c68351bc50aaa935dc873e80;hp=145c1c4d55c5574f63d6176b594b308434b9a510;hb=63d02a76014f85f18c2b095b9a8e0d5724f91338;hpb=ec314f36eb46e257b85d361fb81c81cfd9b2d72c

diff --git a/test/system/casl2/lib_mull/0.txt b/test/system/casl2/lib_mull/0.txt
index 145c1c4..5e21666 100644
--- a/test/system/casl2/lib_mull/0.txt
+++ b/test/system/casl2/lib_mull/0.txt
@@ -54,37 +54,47 @@
 2
 2
 --------------------
-1
-127
+2
 127
+254
 --------------------
-1
 128
 128
+16384
 --------------------
-1
-255
+16384
 255
+overflow
+49152
+63
 --------------------
-1
-256
+63
 256
+16128
 --------------------
-1
-257
+16128
 257
+overflow
+16128
+63
 --------------------
-1
-32767
+63
 32767
+overflow
+32705
+31
 --------------------
-1
+31
 32768
+overflow
 32768
+15
 --------------------
-1
-65535
+15
 65535
+overflow
+65521
+14
 --------------------
 2
 0
@@ -98,37 +108,47 @@
 2
 4
 --------------------
-2
+4
 127
-254
+508
 --------------------
-2
-128
 256
+128
+32768
 --------------------
-2
+32768
 255
-510
+overflow
+32768
+127
 --------------------
-2
+127
 256
-512
+32512
 --------------------
-2
+32512
 257
-514
+overflow
+32512
+127
 --------------------
-2
+127
 32767
-65534
+overflow
+32641
+63
 --------------------
-2
+63
+32768
+overflow
 32768
-Warning: overflow
+31
 --------------------
-2
+31
 65535
-Warning: overflow
+overflow
+65505
+30
 --------------------
 127
 0
@@ -142,37 +162,47 @@ Warning: overflow
 2
 254
 --------------------
+254
 127
-127
-16129
+32258
 --------------------
-127
-128
 16256
+128
+overflow
+49152
+31
 --------------------
-127
+31
 255
-32385
+7905
 --------------------
-127
+3968
 256
-32512
+overflow
+32768
+15
 --------------------
-127
+15
 257
-32639
+3855
 --------------------
-127
+3840
 32767
-Warning: overflow
+overflow
+61696
+1919
 --------------------
-127
+1919
 32768
-Warning: overflow
+overflow
+32768
+959
 --------------------
-127
+959
 65535
-Warning: overflow
+overflow
+64577
+958
 --------------------
 128
 0
@@ -186,37 +216,47 @@ Warning: overflow
 2
 256
 --------------------
-128
+256
 127
-16256
+32512
 --------------------
-128
-128
 16384
---------------------
 128
+overflow
+0
+32
+--------------------
+32
 255
-32640
+8160
 --------------------
-128
+4096
 256
-32768
+overflow
+0
+16
 --------------------
-128
+16
 257
-32896
+4112
 --------------------
-128
+4096
 32767
-Warning: overflow
+overflow
+61440
+2047
 --------------------
-128
+2047
 32768
-Warning: overflow
+overflow
+32768
+1023
 --------------------
-128
+1023
 65535
-Warning: overflow
+overflow
+64513
+1022
 --------------------
 255
 0
@@ -230,37 +270,47 @@ Warning: overflow
 2
 510
 --------------------
-255
+510
 127
-32385
+64770
 --------------------
-255
-128
 32640
+128
+overflow
+49152
+63
 --------------------
+63
 255
-255
-65025
+16065
 --------------------
-255
+8064
 256
-65280
+overflow
+32768
+31
 --------------------
-255
+31
 257
-65535
+7967
 --------------------
-255
+7936
 32767
-Warning: overflow
+overflow
+57600
+3967
 --------------------
-255
+3967
+32768
+overflow
 32768
-Warning: overflow
+1983
 --------------------
-255
+1983
 65535
-Warning: overflow
+overflow
+63553
+1982
 --------------------
 256
 0
@@ -274,37 +324,47 @@ Warning: overflow
 2
 512
 --------------------
-256
+512
 127
-32512
+65024
 --------------------
-256
-128
 32768
+128
+overflow
+0
+64
 --------------------
-256
+64
 255
-65280
+16320
 --------------------
+8192
 256
-256
-Warning: overflow
+overflow
+0
+32
 --------------------
-256
+32
 257
-Warning: overflow
+8224
 --------------------
-256
+8192
 32767
-Warning: overflow
+overflow
+57344
+4095
 --------------------
-256
+4095
+32768
+overflow
 32768
-Warning: overflow
+2047
 --------------------
-256
+2047
 65535
-Warning: overflow
+overflow
+63489
+2046
 --------------------
 257
 0
@@ -318,37 +378,47 @@ Warning: overflow
 2
 514
 --------------------
-257
+514
 127
-32639
+65278
 --------------------
-257
-128
 32896
+128
+overflow
+16384
+64
 --------------------
-257
+64
 255
-65535
+16320
 --------------------
-257
+8192
 256
-Warning: overflow
+overflow
+0
+32
 --------------------
+32
 257
-257
-Warning: overflow
+8224
 --------------------
-257
+8192
 32767
-Warning: overflow
+overflow
+57344
+4095
 --------------------
-257
+4095
 32768
-Warning: overflow
+overflow
+32768
+2047
 --------------------
-257
+2047
 65535
-Warning: overflow
+overflow
+63489
+2046
 --------------------
 32767
 0
@@ -362,37 +432,49 @@ Warning: overflow
 2
 65534
 --------------------
-32767
+65534
 127
-Warning: overflow
+overflow
+65282
+126
 --------------------
-32767
+126
 128
-Warning: overflow
+16128
 --------------------
-32767
+16128
 255
-Warning: overflow
+overflow
+49408
+62
 --------------------
-32767
+62
 256
-Warning: overflow
+15872
 --------------------
-32767
+15872
 257
-Warning: overflow
+overflow
+15872
+62
 --------------------
+62
 32767
-32767
-Warning: overflow
+overflow
+65474
+30
 --------------------
-32767
+30
 32768
-Warning: overflow
+overflow
+0
+15
 --------------------
-32767
+15
 65535
-Warning: overflow
+overflow
+65521
+14
 --------------------
 32768
 0
@@ -404,39 +486,51 @@ Warning: overflow
 --------------------
 32768
 2
-Warning: overflow
+overflow
+0
+1
 --------------------
-32768
+1
+127
 127
-Warning: overflow
 --------------------
-32768
+64
 128
-Warning: overflow
+8192
 --------------------
-32768
+8192
 255
-Warning: overflow
+overflow
+57344
+31
 --------------------
-32768
+31
 256
-Warning: overflow
+7936
 --------------------
-32768
+7936
 257
-Warning: overflow
+overflow
+7936
+31
 --------------------
-32768
+31
 32767
-Warning: overflow
+overflow
+32737
+15
 --------------------
+15
 32768
+overflow
 32768
-Warning: overflow
+7
 --------------------
-32768
+7
 65535
-Warning: overflow
+overflow
+65529
+6
 --------------------
 65535
 0
@@ -448,37 +542,49 @@ Warning: overflow
 --------------------
 65535
 2
-Warning: overflow
+overflow
+65534
+1
 --------------------
-65535
+1
+127
 127
-Warning: overflow
 --------------------
-65535
+64
 128
-Warning: overflow
+8192
 --------------------
-65535
+8192
 255
-Warning: overflow
+overflow
+57344
+31
 --------------------
-65535
+31
 256
-Warning: overflow
+7936
 --------------------
-65535
+7936
 257
-Warning: overflow
+overflow
+7936
+31
 --------------------
-65535
+31
 32767
-Warning: overflow
+overflow
+32737
+15
 --------------------
-65535
+15
 32768
-Warning: overflow
+overflow
+32768
+7
 --------------------
+7
 65535
-65535
-Warning: overflow
+overflow
+65529
+6
 --------------------