From a2baff0fd7b88052403cc661253c229acde5e011 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 5 Sep 2017 10:03:12 +0200 Subject: Enables verbose mode. Apparently, Kodkod gets stuck on the "translating to booleans" part. --- instr-to-kodkod/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 08af039..0aaf4ae 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -135,7 +135,7 @@ $(SOL_DIR)/%.sol: $(PROPERTY_FILES) $(MODEL_FILES) $(LEVEL_FILES) $(filter %$(basename $(notdir $@)).pro,$(PROPERTY_FILES)) \ $(LEVEL_FILES) \ $(MODEL_FILES) \ - $(wildcard $(PATH_MODEL_DIR)/*.mod) + $(wildcard $(PATH_MODEL_DIR)/*.mod) -v src/%.class: src/%.java $(PARSER_CLASSES) $(REQUIRED_JARS) $(JAVAC) -cp $(CLASSPATH) $< -- cgit v1.2.3-70-g09d2