From d55ef7badd2cd0dfd8cfd52ff9eb2f3ba525eda7 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Sat, 28 Nov 2020 12:40:23 +0100
Subject: [PATCH] Fix some typos.
---
solver.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/solver.ml b/solver.ml
index b301826..3c7029e 100644
--- a/solver.ml
+++ b/solver.ml
@@ -37,7 +37,7 @@ let rec pp_property_marabou property =
let pp_property solver property =
match solver with
| Pyrat ->
- Error "Not yet implemented."
+ Error "Not implemented yet."
| Marabou ->
Ok (pp_property_marabou property)
@@ -100,7 +100,7 @@ let check_compatibility solver model =
| Marabou, (Model.Onnx as f) ->
Error
(Format.sprintf
- "`%s' does not support model format `%s'."
+ "Cannot deal with `%s' and model format `%s'."
(show_solver solver)
(Model.show_format f))
| _ ->
@@ -126,7 +126,7 @@ let build_command ?raw_options solver property model =
(* Build actual command-line. *)
begin match solver with
| Pyrat ->
- Error "Not yet implemented"
+ Error "Not implemented yet."
| Marabou ->
let verbosity_level =
match Logs.level () with
--
GitLab