feat: Echo command (#911)

* Echo statement * Double quotes
OCamlPro · Oct 19, 2023 · bfd698d · bfd698d
1 parent b8563ad
commit bfd698d
Show file tree

Hide file tree

Showing 6 changed files with 57 additions and 1 deletion.
diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
@@ -671,6 +671,14 @@ let main () =
 
       | {contents = `Exit; _} -> raise Exit
 
+      | {contents = `Echo str; _} ->
+        let new_str = String.concat "\"\"" (String.split_on_char '"' str) in
+        Fmt.pf
+          (Options.Output.get_fmt_regular ())
+          "\"%s\"@."
+          new_str;
+        st
+
       | {contents = `Get_info kind; _ } ->
         handle_get_info st kind;
         st

diff --git a/tests/dune.inc b/tests/dune.inc
diff --git a/tests/smtlib/testfile-echo1.dolmen.expected b/tests/smtlib/testfile-echo1.dolmen.expected
@@ -0,0 +1 @@
+"Hello, world!"
diff --git a/tests/smtlib/testfile-echo1.dolmen.smt2 b/tests/smtlib/testfile-echo1.dolmen.smt2
@@ -0,0 +1,2 @@
+(set-logic ALL)
+(echo "Hello, world!")
diff --git a/tests/smtlib/testfile-echo2.dolmen.expected b/tests/smtlib/testfile-echo2.dolmen.expected
@@ -0,0 +1 @@
+"a""b"
diff --git a/tests/smtlib/testfile-echo2.dolmen.smt2 b/tests/smtlib/testfile-echo2.dolmen.smt2
@@ -0,0 +1,2 @@
+(set-logic ALL)
+(echo "a""b")