テストケースの修正

[YACASL2.git] / test / integration / comet2 / cmd_AND_and2 / Makefile

diff --git a/test/integration/comet2/cmd_AND_and2/Makefile b/test/integration/comet2/cmd_AND_and2/Makefile
index 10c8c00..0e2deb6 100644 (file)
--- a/test/integration/comet2/cmd_AND_and2/Makefile
+++ b/test/integration/comet2/cmd_AND_and2/Makefile
@@ -2,6 +2,6 @@ include ../CMD.mk    # YACASL2DIR, CASL2
 ASDIR = $(YACASL2DIR)/as
 CASL2LIBDIR = $(YACASL2DIR)/as/casl2lib
 ASFILE = $(YACASL2DIR)/as/cmd/AND/and2.casl
-COMET2FLAG = -td -M8
+COMET2FLAG = -td -M16
 EXECCMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)
 include ../TEST.mk