Test

src/bin/common/solving_loop.ml

@@ -75,7 +75,7 @@ let recoverable_error ?(code = 1) =
 let fatal_error ?(code = 1) =
   Format.kasprintf (fun msg -> recoverable_error ~code "%s" msg; exit code)
 
-let exit_as_timeout () = fatal_error ~code:142 "timeout"
+let exit_as_timeout ?(code = 142) () = fatal_error ~code "timeout"
 
 let warning (msg : ('a, Format.formatter, unit, unit, unit, 'b) format6) : 'a =
   if Options.get_warning_as_error () then
@@ -208,7 +208,7 @@ let main () =
         Frontend.print_status status i;
         match status with
         | Timeout _ when not (Options.get_timelimit_per_goal ()) ->
-          exit_as_timeout ()
+          exit_as_timeout ~code:111 ()
         | _ -> raise StopProcessDecl
       in
       let () =
@@ -256,7 +256,7 @@ let main () =
     with Util.Timeout ->
       (* It is still necessary to leave this catch here, because we may
          trigger this exception in between calls of the sat solver. *)
-      if not (Options.get_timelimit_per_goal()) then exit_as_timeout ();
+      if not (Options.get_timelimit_per_goal()) then exit_as_timeout ~code:112 ();
       Unknown None
   in
 
@@ -337,7 +337,7 @@ let main () =
       with
       | Util.Timeout ->
         Frontend.print_status (Timeout None) 0;
-        exit_as_timeout ()
+        exit_as_timeout ~code:113 ()
       | Parsing.Parse_error ->
         (* TODO(Steven): displaying a dummy value is a bad idea.
            This should only be executed with the legacy frontend, which should
@@ -390,7 +390,7 @@ let main () =
       Options.Time.unset_timeout ();
     with Util.Timeout ->
       Frontend.print_status (Timeout None) 0;
-      exit_as_timeout ()
+      exit_as_timeout ~code:114 ()
   in
 
   let solver_ctx_key: solver_ctx State.key =
@@ -488,7 +488,7 @@ let main () =
       recoverable_error "%t" msg; st
     | Util.Timeout ->
       Printer.print_status_timeout None None None None;
-      exit_as_timeout ()
+      exit_as_timeout ~code:115 ()
     | Errors.Error e ->
       recoverable_error "%a" Errors.report e;
       st
@@ -1466,7 +1466,7 @@ let main () =
                   Options.Time.start ();
                   Options.Time.set_timeout (Options.get_timelimit ());
                 end
-                else exit_as_timeout ()
+                else exit_as_timeout ~code:116 ()
             in
             st
           | {
@@ -1483,7 +1483,7 @@ let main () =
                   Options.Time.start ();
                   Options.Time.set_timeout (Options.get_timelimit ());
                 end
-                else exit_as_timeout ()
+                else exit_as_timeout ~code:117 ()
             in
             st
           | {contents; _ } ->