clean up the code

qibolun · Apr 6, 2018 · bcc52ef · bcc52ef
1 parent cf27370
commit bcc52ef
Show file tree

Hide file tree

Showing 6 changed files with 16,410 additions and 6,471 deletions.
diff --git a/.ipynb_checkpoints/DryVR_Notebook-checkpoint.ipynb b/.ipynb_checkpoints/DryVR_Notebook-checkpoint.ipynb
diff --git a/DryVR_Notebook.ipynb b/DryVR_Notebook.ipynb
diff --git a/rrt2Dplotter.py b/rrt2Dplotter.py
diff --git a/simPlotter.py b/simPlotter.py
diff --git a/src/common/io.py b/src/common/io.py
@@ -30,7 +30,7 @@ def writeReachTubeFile(result, path):
     """
     with open(path, 'w') as f:
         for line in result:
-            if isinstance(line, unicode):
+            if isinstance(line, unicode) or isinstance(line, str):
                 f.write(line+'\n')
             elif isinstance(line, list):
                 f.write(' '.join(map(str,line))+'\n')

diff --git a/src/core/dryvrmain.py b/src/core/dryvrmain.py
@@ -300,7 +300,7 @@ def verify(data, simFunction, paramConfig={}):
                 print "Hit refine threshold, system halt, result unknown"
                 print 'simulation time', simEndTime-startTime
                 print 'verification time', time.time()-simEndTime
-                return "UNKNOWN", retReach
+                return "UNKNOWN", None
         else:
             if backwardFlag == SAFE:
                 prevModeStack = curModeStack.parent