X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fsystem%2Fcasl2_lib%2Flib_mull%2F0.txt;h=023e0f2920e21e6f8dfa844647e5b8ca4efc1920;hb=08a4af838fd0cd965a3cae9bf077effb6edae4a1;hp=5e21666196e0a195c68351bc50aaa935dc873e80;hpb=473906d23322ef829ee8dad807895235d645981c;p=YACASL2.git

diff --git a/test/system/casl2_lib/lib_mull/0.txt b/test/system/casl2_lib/lib_mull/0.txt
index 5e21666..023e0f2 100644
--- a/test/system/casl2_lib/lib_mull/0.txt
+++ b/test/system/casl2_lib/lib_mull/0.txt
@@ -54,47 +54,37 @@
 2
 2
 --------------------
-2
+1
+127
 127
-254
 --------------------
+1
 128
 128
-16384
 --------------------
-16384
+1
+255
 255
-overflow
-49152
-63
 --------------------
-63
+1
+256
 256
-16128
 --------------------
-16128
+1
+257
 257
-overflow
-16128
-63
 --------------------
-63
+1
+32767
 32767
-overflow
-32705
-31
 --------------------
-31
+1
 32768
-overflow
 32768
-15
 --------------------
-15
+1
+65535
 65535
-overflow
-65521
-14
 --------------------
 2
 0
@@ -108,47 +98,33 @@ overflow
 2
 4
 --------------------
-4
+2
 127
-508
+254
 --------------------
-256
+2
 128
-32768
+256
 --------------------
-32768
+2
 255
-overflow
-32768
-127
+510
 --------------------
-127
+2
 256
-32512
+512
 --------------------
-32512
+2
 257
-overflow
-32512
-127
+514
 --------------------
-127
+2
 32767
-overflow
-32641
-63
+65534
 --------------------
-63
+2
 32768
 overflow
-32768
-31
---------------------
-31
-65535
-overflow
-65505
-30
 --------------------
 127
 0
@@ -162,47 +138,29 @@ overflow
 2
 254
 --------------------
-254
 127
-32258
+127
+16129
 --------------------
-16256
+127
 128
-overflow
-49152
-31
+16256
 --------------------
-31
+127
 255
-7905
+32385
 --------------------
-3968
+127
 256
-overflow
-32768
-15
+32512
 --------------------
-15
+127
 257
-3855
+32639
 --------------------
-3840
+127
 32767
 overflow
-61696
-1919
---------------------
-1919
-32768
-overflow
-32768
-959
---------------------
-959
-65535
-overflow
-64577
-958
 --------------------
 128
 0
@@ -216,47 +174,29 @@ overflow
 2
 256
 --------------------
-256
+128
 127
-32512
+16256
 --------------------
-16384
 128
-overflow
-0
-32
+128
+16384
 --------------------
-32
+128
 255
-8160
+32640
 --------------------
-4096
+128
 256
-overflow
-0
-16
+32768
 --------------------
-16
+128
 257
-4112
+32896
 --------------------
-4096
+128
 32767
 overflow
-61440
-2047
---------------------
-2047
-32768
-overflow
-32768
-1023
---------------------
-1023
-65535
-overflow
-64513
-1022
 --------------------
 255
 0
@@ -270,47 +210,29 @@ overflow
 2
 510
 --------------------
-510
+255
 127
-64770
+32385
 --------------------
-32640
+255
 128
-overflow
-49152
-63
+32640
 --------------------
-63
 255
-16065
+255
+65025
 --------------------
-8064
+255
 256
-overflow
-32768
-31
+65280
 --------------------
-31
+255
 257
-7967
+65535
 --------------------
-7936
+255
 32767
 overflow
-57600
-3967
---------------------
-3967
-32768
-overflow
-32768
-1983
---------------------
-1983
-65535
-overflow
-63553
-1982
 --------------------
 256
 0
@@ -324,47 +246,21 @@ overflow
 2
 512
 --------------------
-512
+256
 127
-65024
+32512
 --------------------
-32768
+256
 128
-overflow
-0
-64
+32768
 --------------------
-64
+256
 255
-16320
+65280
 --------------------
-8192
+256
 256
 overflow
-0
-32
---------------------
-32
-257
-8224
---------------------
-8192
-32767
-overflow
-57344
-4095
---------------------
-4095
-32768
-overflow
-32768
-2047
---------------------
-2047
-65535
-overflow
-63489
-2046
 --------------------
 257
 0
@@ -378,47 +274,21 @@ overflow
 2
 514
 --------------------
-514
+257
 127
-65278
+32639
 --------------------
-32896
+257
 128
-overflow
-16384
-64
+32896
 --------------------
-64
+257
 255
-16320
---------------------
-8192
-256
-overflow
-0
-32
+65535
 --------------------
-32
 257
-8224
---------------------
-8192
-32767
-overflow
-57344
-4095
---------------------
-4095
-32768
-overflow
-32768
-2047
---------------------
-2047
-65535
+256
 overflow
-63489
-2046
 --------------------
 32767
 0
@@ -432,49 +302,9 @@ overflow
 2
 65534
 --------------------
-65534
-127
-overflow
-65282
-126
---------------------
-126
-128
-16128
---------------------
-16128
-255
-overflow
-49408
-62
---------------------
-62
-256
-15872
---------------------
-15872
-257
-overflow
-15872
-62
---------------------
-62
 32767
+127
 overflow
-65474
-30
---------------------
-30
-32768
-overflow
-0
-15
---------------------
-15
-65535
-overflow
-65521
-14
 --------------------
 32768
 0
@@ -487,50 +317,6 @@ overflow
 32768
 2
 overflow
-0
-1
---------------------
-1
-127
-127
---------------------
-64
-128
-8192
---------------------
-8192
-255
-overflow
-57344
-31
---------------------
-31
-256
-7936
---------------------
-7936
-257
-overflow
-7936
-31
---------------------
-31
-32767
-overflow
-32737
-15
---------------------
-15
-32768
-overflow
-32768
-7
---------------------
-7
-65535
-overflow
-65529
-6
 --------------------
 65535
 0
@@ -543,48 +329,4 @@ overflow
 65535
 2
 overflow
-65534
-1
---------------------
-1
-127
-127
---------------------
-64
-128
-8192
---------------------
-8192
-255
-overflow
-57344
-31
---------------------
-31
-256
-7936
---------------------
-7936
-257
-overflow
-7936
-31
---------------------
-31
-32767
-overflow
-32737
-15
---------------------
-15
-32768
-overflow
-32768
-7
---------------------
-7
-65535
-overflow
-65529
-6
 --------------------