Merge pull request #2 from fontanf/dev

Dev
fontanf · Apr 5, 2024 · 00540f8 · 00540f8
2 parents 1f3054a + ca9919b
commit 00540f8
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 6 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -34,7 +34,7 @@ cc_library(
 git_repository(
     name = "optimizationtools",
     remote = "https://github.com/fontanf/optimizationtools.git",
-    commit = "9fd467cdbcf88e0fecdb34ca2152bd7de4d34a3a",
+    commit = "9ddf9e540ecda09f7877b8c6267f77fbcf15ce25",
 )
 
 local_repository(

diff --git a/scripts/run_tests.py b/scripts/run_tests.py
@@ -53,7 +53,9 @@
                 + " --internal-diving 1"
                 + "  --output \"" + json_output_path + "\"")
         print(command)
-        os.system(command)
+        status = os.system(command)
+        if status != 0:
+            sys.exit(1)
         print()
     print()
     print()
@@ -99,7 +101,9 @@
                 + " --automatic-stop 1"
                 + "  --output \"" + json_output_path + "\"")
         print(command)
-        os.system(command)
+        status = os.system(command)
+        if status != 0:
+            sys.exit(1)
         print()
     print()
     print()
@@ -147,7 +151,9 @@
                 + " --internal-diving 1"
                 + "  --output \"" + json_output_path + "\"")
         print(command)
-        os.system(command)
+        status = os.system(command)
+        if status != 0:
+            sys.exit(1)
         print()
     print()
     print()
@@ -195,7 +201,9 @@
                 + " --internal-diving 1"
                 + "  --output \"" + json_output_path + "\"")
         print(command)
-        os.system(command)
+        status = os.system(command)
+        if status != 0:
+            sys.exit(1)
         print()
     print()
     print()
@@ -241,7 +249,9 @@
                 + " --internal-diving 1"
                 + "  --output \"" + json_output_path + "\"")
         print(command)
-        os.system(command)
+        status = os.system(command)
+        if status != 0:
+            sys.exit(1)
         print()
     print()
     print()