Add unit test for the printing of smt_get_value_commandt

Because this had previously been missed.

Author: thomasspriggs

unit/solvers/smt2_incremental/smt_to_smt2_string.cpp

@@ -69,6 +69,15 @@ TEST_CASE(
   CHECK(smt_to_smt2_string(smt_exit_commandt{}) == "(exit)");
 }
 
+TEST_CASE(
+  "Test smt_get_value_commandt to string conversion",
+  "[core][smt2_incremental]")
+{
+  CHECK(
+    smt_to_smt2_string(smt_get_value_commandt{
+      smt_identifier_termt{"foo", smt_bool_sortt{}}}) == "(get-value |foo|)");
+}
+
 TEST_CASE(
   "Test smt_push_commandt to string conversion",
   "[core][smt2_incremental]")