| summaryrefslogtreecommitdiff |
path: root/instr-to-kodkod
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-05 10:03:12 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-05 10:03:12 +0200 |
| commit | a2baff0fd7b88052403cc661253c229acde5e011 (patch) | |
| tree | 865b75cfdfa4cdfc17420e5acdab2b0088f64635 /instr-to-kodkod | |
| parent | 58355e0256b075f9ae74e04e52f9ff3b4c191572 (diff) | |
Enables verbose mode.instance-calculator
Apparently, Kodkod gets stuck on the "translating to booleans" part.
Diffstat (limited to 'instr-to-kodkod')
| -rw-r--r-- | instr-to-kodkod/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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) $< |