make picosat errors more visible

VerifiableRobotics · Apr 3, 2014 · fb5869c · fb5869c
1 parent aa527fc
commit fb5869c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/lib/cores/coreUtils.py b/src/lib/cores/coreUtils.py
@@ -143,8 +143,10 @@ def stripLTLLine(line, useNext=False):
         return line
 
 def subprocessReadThread(fd, out):
-            for line in fd:                                                                              
-               out.append(line) 
+    for line in fd:
+        out.append(line)
+        if "expected" in line:
+            logging.error(line)
 
 
 def findGuiltyLTLConjunctsWrapper(x):