| summaryrefslogtreecommitdiff |
path: root/instr-to-kodkod
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 11:34:59 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 11:34:59 +0200 |
| commit | 8f12413895954e5feed9ea915825d462f0457fe4 (patch) | |
| tree | 92b9c7e40cee3b458c8d66b387a18b472d47a37c /instr-to-kodkod | |
| parent | 71c08d4a3ae9763b8cc669aad0f9d53bbc5f95d2 (diff) | |
No longer add function and literals as waveforms.
Diffstat (limited to 'instr-to-kodkod')
| -rw-r--r-- | instr-to-kodkod/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index dd80198..7aa3a82 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -1,5 +1,6 @@ ## Target(s) Configuration ##################################################### -MODEL_FILES = $(wildcard ../data/instructions/*.mod) +#MODEL_FILES = $(wildcard ../data/instructions/*.mod) +MODEL_FILES = $(wildcard ../instr-scripts/*.mod) LEVEL_DIR = $(wildcard ../data/level/*.lvl) PROPERTY_FILE = ../data/property/unread_waveforms.pro VAR_PREFIX = "_anon_" |