From 007918e8f873ad74d227e965b509cd274665d7fa Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Thu, 4 Jul 2024 09:36:37 +0200 Subject: [PATCH] small change to Makefile for experiments Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de> --- experiments/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/experiments/Makefile b/experiments/Makefile index fa4a56184..9b145a56d 100644 --- a/experiments/Makefile +++ b/experiments/Makefile @@ -15,7 +15,7 @@ BFILE=$(FILE).mch JAVAFILE=$(FILE).java probmc: $(BFILE) - time probcli $(BFILE) --model-check -disable-timeout + time probcli $(BFILE) --model-check -disable-timeout -p MAX_OPERATIONS 100 -p MAX_INITIALISATIONS 100 opreuse: $(BFILE) time probcli $(BFILE) --model-check -disable-timeout -df -p COMPRESSION TRUE -p OPERATION_REUSE full -p SAFETY_MODEL_CHECK TRUE -nodead -nogoal tlc: $(BFILE) @@ -24,11 +24,11 @@ tlc: $(BFILE) BIGINT=false # for big integer: ifeq ($(BIGINT),true) -btypes.jar: +btypes.jar: Makefile cd ../btypes_big_integer && ./gradlew fatJar && cp build/libs/btypes_big_integer-all.jar ../experiments/btypes.jar && cd ../experiments else # for primitive integer (BIGINT=false): -btypes.jar: +btypes.jar: Makefile cd ../btypes_primitives && ./gradlew fatJar && cp build/libs/btypes_primitives-all.jar ../experiments/btypes.jar && cd ../experiments endif @@ -41,7 +41,7 @@ $(JAR): ../build/libs/$(JAR) cp ../build/libs/$(JAR) . $(JAVAFILE): $(JAR) $(BFILE) Makefile - @echo "Generating Java Model Checker file $(JAVAFILE) from B file $(BFILE)" + @echo "Generating Java Model Checker file $(JAVAFILE) from B file $(BFILE), BIGINT=$(BIGINT)" #java -jar $(JAR) java $(BIGINT) -2147483648 2147483647 10 false true $(BFILE) java -jar $(JAR) -l java -bi $(BIGINT) -min -2147483648 --max 2147483647 -dss 10 -cs false -mc true -f $(BFILE) -- GitLab