From 3bb73bf4bd66582dd6ea4b32b3691bfa14ec5cca Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 15:41:10 +0200
Subject: This one seem to work -> bad CTL?

---
 instr-to-kodkod/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index fe40d91..a2b8992 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -2,8 +2,9 @@
 #MODEL_FILES = $(wildcard ../data/instructions/*.mod)
 MODEL_FILES = ../instr-scripts/structural.mod $(wildcard ../instr-scripts/pfp_*.mod) $(wildcard ../cfg-to-paths/pfp_*.mod)
 LEVEL_DIR = $(wildcard ../data/level/*.lvl)
-#PROPERTY_FILE = ../data/property/unread_waveforms.pro
-PROPERTY_FILE = ../data/property/impossible_processes.pro
+PROPERTY_FILE = ../data/property/unread_waveforms.pro
+#PROPERTY_FILE = ../data/property/impossible_processes.pro
+#PROPERTY_FILE = ../data/property/combinational_processes.pro
 VAR_PREFIX = "_anon_"
 
 ## Executables #################################################################
-- 
cgit v1.2.3-70-g09d2