From 35bce44858fcd7b0dab398cbce72d13057d3a501 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 15:31:05 +0200
Subject: forgot to use cfg-to-path. Still broken though.

---
 instr-to-kodkod/src/Main.java | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'instr-to-kodkod/src')

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index e6b5750..5b0e9b5 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -188,7 +188,14 @@ public class Main
 
       while (solutions.hasNext())
       {
-         System.out.println(solutions.next());
+         final Solution sol;
+
+         sol = solutions.next();
+
+         if (sol.sat())
+         {
+            System.out.println(sol);
+         }
       }
    }
 }
-- 
cgit v1.2.3-70-g09d2