X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=test%2Fsystem%2Fcasl2%2Flib_mull%2Fcmd;h=bd6a01a04206e51044ac97408078b18f6f3a47b4;hp=95797934405799b442975d9e207ab4e8da414ae2;hb=7f7bde5dd1305cfc598fe09030c69aad0dc01368;hpb=c5e30b2f26ebc174c49c52c67121f3be81b5bd43

diff --git a/test/system/casl2/lib_mull/cmd b/test/system/casl2/lib_mull/cmd
index 9579793..bd6a01a 100755
--- a/test/system/casl2/lib_mull/cmd
+++ b/test/system/casl2/lib_mull/cmd
@@ -1 +1 @@
-../../../../casl2 -M640 mull.casl ../../../../as/casl2lib/mull.casl ../../../../as/casl2lib/outl.casl
+../../../../casl2 -M4096 mull.casl ../../../../as/casl2lib/mull.casl ../../../../as/casl2lib/outl.casl ../../../../as/casl2lib/divl.casl ../../../../as/casl2lib/rev.casl