Add missing REQUIRE statement to array_exprt test

Enrico Steffinlongo · Enrico Steffinlongo · commit 07e4b6e98321 · 2022-08-22T17:51:03.000+01:00
diff --git a/unit/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp b/unit/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp
@@ -615,5 +615,6 @@ TEST_CASE(
       smt_declare_function_commandt{index_term, {}},
       smt_assert_commandt{smt_core_theoryt::equal(
         foo_term, smt_array_theoryt::select(array_term, index_term))}};
+    REQUIRE(test.sent_commands == expected_commands);
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -615,5 +615,6 @@ TEST_CASE(`
`615`	`615`	`smt_declare_function_commandt{index_term, {}},`
`616`	`616`	`smt_assert_commandt{smt_core_theoryt::equal(`
`617`	`617`	`foo_term, smt_array_theoryt::select(array_term, index_term))}};`
	`618`	`+ REQUIRE(test.sent_commands == expected_commands);`
`618`	`619`	`}`
`619`	`620`	`}`