統合テストに、最新版Autotest.mkを反映

[YACASL2.git] / test / system / casl2 / lib_mull / detail.log

diff --git a/test/system/casl2/lib_mull/detail.log b/test/system/casl2/lib_mull/detail.log
new file mode 100644 (file)
index 0000000..c527194
--- /dev/null
+++ b/test/system/casl2/lib_mull/detail.log
@@ -0,0 +1,987 @@
+== test.log ==
+----------------------------------------------------------------------
+lib_mull: Test Success 2010-12-13 18:44:35
+Detail in /home/kazubito/2010_12/yacasl2/test/system/casl2/lib_mull/detail.log
+----------------------------------------------------------------------
+
+== cmd ==
+----------------------------------------------------------------------
+../../../../casl2 -M640 mull.casl ../../../../as/casl2lib/mull.casl ../../../../as/casl2lib/outl.casl
+----------------------------------------------------------------------
+
+== 0.txt ==
+----------------------------------------------------------------------
+0
+0
+0
+--------------------
+0
+1
+0
+--------------------
+0
+2
+0
+--------------------
+0
+127
+0
+--------------------
+0
+128
+0
+--------------------
+0
+255
+0
+--------------------
+0
+256
+0
+--------------------
+0
+257
+0
+--------------------
+0
+32767
+0
+--------------------
+0
+32768
+0
+--------------------
+0
+65535
+0
+--------------------
+1
+0
+0
+--------------------
+1
+1
+1
+--------------------
+1
+2
+2
+--------------------
+1
+127
+127
+--------------------
+1
+128
+128
+--------------------
+1
+255
+255
+--------------------
+1
+256
+256
+--------------------
+1
+257
+257
+--------------------
+1
+32767
+32767
+--------------------
+1
+32768
+32768
+--------------------
+1
+65535
+65535
+--------------------
+2
+0
+0
+--------------------
+2
+1
+2
+--------------------
+2
+2
+4
+--------------------
+2
+127
+254
+--------------------
+2
+128
+256
+--------------------
+2
+255
+510
+--------------------
+2
+256
+512
+--------------------
+2
+257
+514
+--------------------
+2
+32767
+65534
+--------------------
+2
+32768
+Warning: overflow
+--------------------
+2
+65535
+Warning: overflow
+--------------------
+127
+0
+0
+--------------------
+127
+1
+127
+--------------------
+127
+2
+254
+--------------------
+127
+127
+16129
+--------------------
+127
+128
+16256
+--------------------
+127
+255
+32385
+--------------------
+127
+256
+32512
+--------------------
+127
+257
+32639
+--------------------
+127
+32767
+Warning: overflow
+--------------------
+127
+32768
+Warning: overflow
+--------------------
+127
+65535
+Warning: overflow
+--------------------
+128
+0
+0
+--------------------
+128
+1
+128
+--------------------
+128
+2
+256
+--------------------
+128
+127
+16256
+--------------------
+128
+128
+16384
+--------------------
+128
+255
+32640
+--------------------
+128
+256
+32768
+--------------------
+128
+257
+32896
+--------------------
+128
+32767
+Warning: overflow
+--------------------
+128
+32768
+Warning: overflow
+--------------------
+128
+65535
+Warning: overflow
+--------------------
+255
+0
+0
+--------------------
+255
+1
+255
+--------------------
+255
+2
+510
+--------------------
+255
+127
+32385
+--------------------
+255
+128
+32640
+--------------------
+255
+255
+65025
+--------------------
+255
+256
+65280
+--------------------
+255
+257
+65535
+--------------------
+255
+32767
+Warning: overflow
+--------------------
+255
+32768
+Warning: overflow
+--------------------
+255
+65535
+Warning: overflow
+--------------------
+256
+0
+0
+--------------------
+256
+1
+256
+--------------------
+256
+2
+512
+--------------------
+256
+127
+32512
+--------------------
+256
+128
+32768
+--------------------
+256
+255
+65280
+--------------------
+256
+256
+Warning: overflow
+--------------------
+256
+257
+Warning: overflow
+--------------------
+256
+32767
+Warning: overflow
+--------------------
+256
+32768
+Warning: overflow
+--------------------
+256
+65535
+Warning: overflow
+--------------------
+257
+0
+0
+--------------------
+257
+1
+257
+--------------------
+257
+2
+514
+--------------------
+257
+127
+32639
+--------------------
+257
+128
+32896
+--------------------
+257
+255
+65535
+--------------------
+257
+256
+Warning: overflow
+--------------------
+257
+257
+Warning: overflow
+--------------------
+257
+32767
+Warning: overflow
+--------------------
+257
+32768
+Warning: overflow
+--------------------
+257
+65535
+Warning: overflow
+--------------------
+32767
+0
+0
+--------------------
+32767
+1
+32767
+--------------------
+32767
+2
+65534
+--------------------
+32767
+127
+Warning: overflow
+--------------------
+32767
+128
+Warning: overflow
+--------------------
+32767
+255
+Warning: overflow
+--------------------
+32767
+256
+Warning: overflow
+--------------------
+32767
+257
+Warning: overflow
+--------------------
+32767
+32767
+Warning: overflow
+--------------------
+32767
+32768
+Warning: overflow
+--------------------
+32767
+65535
+Warning: overflow
+--------------------
+32768
+0
+0
+--------------------
+32768
+1
+32768
+--------------------
+32768
+2
+Warning: overflow
+--------------------
+32768
+127
+Warning: overflow
+--------------------
+32768
+128
+Warning: overflow
+--------------------
+32768
+255
+Warning: overflow
+--------------------
+32768
+256
+Warning: overflow
+--------------------
+32768
+257
+Warning: overflow
+--------------------
+32768
+32767
+Warning: overflow
+--------------------
+32768
+32768
+Warning: overflow
+--------------------
+32768
+65535
+Warning: overflow
+--------------------
+65535
+0
+0
+--------------------
+65535
+1
+65535
+--------------------
+65535
+2
+Warning: overflow
+--------------------
+65535
+127
+Warning: overflow
+--------------------
+65535
+128
+Warning: overflow
+--------------------
+65535
+255
+Warning: overflow
+--------------------
+65535
+256
+Warning: overflow
+--------------------
+65535
+257
+Warning: overflow
+--------------------
+65535
+32767
+Warning: overflow
+--------------------
+65535
+32768
+Warning: overflow
+--------------------
+65535
+65535
+Warning: overflow
+--------------------
+----------------------------------------------------------------------
+
+== 1.txt ==
+----------------------------------------------------------------------
+0
+0
+0
+--------------------
+0
+1
+0
+--------------------
+0
+2
+0
+--------------------
+0
+127
+0
+--------------------
+0
+128
+0
+--------------------
+0
+255
+0
+--------------------
+0
+256
+0
+--------------------
+0
+257
+0
+--------------------
+0
+32767
+0
+--------------------
+0
+32768
+0
+--------------------
+0
+65535
+0
+--------------------
+1
+0
+0
+--------------------
+1
+1
+1
+--------------------
+1
+2
+2
+--------------------
+1
+127
+127
+--------------------
+1
+128
+128
+--------------------
+1
+255
+255
+--------------------
+1
+256
+256
+--------------------
+1
+257
+257
+--------------------
+1
+32767
+32767
+--------------------
+1
+32768
+32768
+--------------------
+1
+65535
+65535
+--------------------
+2
+0
+0
+--------------------
+2
+1
+2
+--------------------
+2
+2
+4
+--------------------
+2
+127
+254
+--------------------
+2
+128
+256
+--------------------
+2
+255
+510
+--------------------
+2
+256
+512
+--------------------
+2
+257
+514
+--------------------
+2
+32767
+65534
+--------------------
+2
+32768
+Warning: overflow
+--------------------
+2
+65535
+Warning: overflow
+--------------------
+127
+0
+0
+--------------------
+127
+1
+127
+--------------------
+127
+2
+254
+--------------------
+127
+127
+16129
+--------------------
+127
+128
+16256
+--------------------
+127
+255
+32385
+--------------------
+127
+256
+32512
+--------------------
+127
+257
+32639
+--------------------
+127
+32767
+Warning: overflow
+--------------------
+127
+32768
+Warning: overflow
+--------------------
+127
+65535
+Warning: overflow
+--------------------
+128
+0
+0
+--------------------
+128
+1
+128
+--------------------
+128
+2
+256
+--------------------
+128
+127
+16256
+--------------------
+128
+128
+16384
+--------------------
+128
+255
+32640
+--------------------
+128
+256
+32768
+--------------------
+128
+257
+32896
+--------------------
+128
+32767
+Warning: overflow
+--------------------
+128
+32768
+Warning: overflow
+--------------------
+128
+65535
+Warning: overflow
+--------------------
+255
+0
+0
+--------------------
+255
+1
+255
+--------------------
+255
+2
+510
+--------------------
+255
+127
+32385
+--------------------
+255
+128
+32640
+--------------------
+255
+255
+65025
+--------------------
+255
+256
+65280
+--------------------
+255
+257
+65535
+--------------------
+255
+32767
+Warning: overflow
+--------------------
+255
+32768
+Warning: overflow
+--------------------
+255
+65535
+Warning: overflow
+--------------------
+256
+0
+0
+--------------------
+256
+1
+256
+--------------------
+256
+2
+512
+--------------------
+256
+127
+32512
+--------------------
+256
+128
+32768
+--------------------
+256
+255
+65280
+--------------------
+256
+256
+Warning: overflow
+--------------------
+256
+257
+Warning: overflow
+--------------------
+256
+32767
+Warning: overflow
+--------------------
+256
+32768
+Warning: overflow
+--------------------
+256
+65535
+Warning: overflow
+--------------------
+257
+0
+0
+--------------------
+257
+1
+257
+--------------------
+257
+2
+514
+--------------------
+257
+127
+32639
+--------------------
+257
+128
+32896
+--------------------
+257
+255
+65535
+--------------------
+257
+256
+Warning: overflow
+--------------------
+257
+257
+Warning: overflow
+--------------------
+257
+32767
+Warning: overflow
+--------------------
+257
+32768
+Warning: overflow
+--------------------
+257
+65535
+Warning: overflow
+--------------------
+32767
+0
+0
+--------------------
+32767
+1
+32767
+--------------------
+32767
+2
+65534
+--------------------
+32767
+127
+Warning: overflow
+--------------------
+32767
+128
+Warning: overflow
+--------------------
+32767
+255
+Warning: overflow
+--------------------
+32767
+256
+Warning: overflow
+--------------------
+32767
+257
+Warning: overflow
+--------------------
+32767
+32767
+Warning: overflow
+--------------------
+32767
+32768
+Warning: overflow
+--------------------
+32767
+65535
+Warning: overflow
+--------------------
+32768
+0
+0
+--------------------
+32768
+1
+32768
+--------------------
+32768
+2
+Warning: overflow
+--------------------
+32768
+127
+Warning: overflow
+--------------------
+32768
+128
+Warning: overflow
+--------------------
+32768
+255
+Warning: overflow
+--------------------
+32768
+256
+Warning: overflow
+--------------------
+32768
+257
+Warning: overflow
+--------------------
+32768
+32767
+Warning: overflow
+--------------------
+32768
+32768
+Warning: overflow
+--------------------
+32768
+65535
+Warning: overflow
+--------------------
+65535
+0
+0
+--------------------
+65535
+1
+65535
+--------------------
+65535
+2
+Warning: overflow
+--------------------
+65535
+127
+Warning: overflow
+--------------------
+65535
+128
+Warning: overflow
+--------------------
+65535
+255
+Warning: overflow
+--------------------
+65535
+256
+Warning: overflow
+--------------------
+65535
+257
+Warning: overflow
+--------------------
+65535
+32767
+Warning: overflow
+--------------------
+65535
+32768
+Warning: overflow
+--------------------
+65535
+65535
+Warning: overflow
+--------------------
+----------------------------------------------------------------------
+