Assert machdep-ml exit code to be 0

goblint · Sep 25, 2024 · 9f4fac4 · 9f4fac4
1 parent 72829a3
commit 9f4fac4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/machdepArchConfigure.ml b/src/machdepArchConfigure.ml
@@ -13,6 +13,7 @@ let () =
       let {C.Process.exit_code; stdout; stderr} = C.Process.run c !real_gcc ["-D_GNUCC"; "-m" ^ !m; "machdep-ml.c"; "-o"; exe] in
       if exit_code = 0 then (
         let {C.Process.stdout; stderr; exit_code} = C.Process.run c exe [] in
+        assert (exit_code = 0);
         Printf.printf "Some {%s}" stdout
       )
       else 

diff --git a/src/modelConfigure.ml b/src/modelConfigure.ml
@@ -13,6 +13,7 @@ let () =
       let {C.Process.exit_code; stdout; stderr} = C.Process.run c !real_gcc ["-D_GNUCC"; "-m" ^ !m; "machdep-ml.c"; "-o"; exe] in
       if exit_code = 0 then (
         let {C.Process.stdout; stderr; exit_code} = C.Process.run c exe ["--env"] in
+        assert (exit_code = 0);
         print_string stdout;
       )
       else