Skip to content
Snippets Groups Projects
Commit d55ef7ba authored by Michele Alberti's avatar Michele Alberti
Browse files

Fix some typos.

parent 3b592461
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
solver.ml
+ 3
− 3
View file @ d55ef7ba
...@@ -37,7 +37,7 @@ let rec pp_property_marabou property = ...@@ -37,7 +37,7 @@ let rec pp_property_marabou property =
let pp_property solver property = let pp_property solver property =
match solver with match solver with
| Pyrat -> | Pyrat ->
Error "Not yet implemented." Error "Not implemented yet."
| Marabou -> | Marabou ->
Ok (pp_property_marabou property) Ok (pp_property_marabou property)
...@@ -100,7 +100,7 @@ let check_compatibility solver model = ...@@ -100,7 +100,7 @@ let check_compatibility solver model =
| Marabou, (Model.Onnx as f) -> | Marabou, (Model.Onnx as f) ->
Error Error
(Format.sprintf (Format.sprintf
"`%s' does not support model format `%s'." "Cannot deal with `%s' and model format `%s'."
(show_solver solver) (show_solver solver)
(Model.show_format f)) (Model.show_format f))
| _ -> | _ ->
...@@ -126,7 +126,7 @@ let build_command ?raw_options solver property model = ...@@ -126,7 +126,7 @@ let build_command ?raw_options solver property model =
(* Build actual command-line. *) (* Build actual command-line. *)
begin match solver with begin match solver with
| Pyrat -> | Pyrat ->
Error "Not yet implemented" Error "Not implemented yet."
| Marabou -> | Marabou ->
let verbosity_level = let verbosity_level =
match Logs.level () with match Logs.level () with
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment