From 4abd8a7d6944e48b96fcddd193f850852baa20c7 Mon Sep 17 00:00:00 2001 From: Aki Van Ness Date: Fri, 29 Jul 2022 10:50:57 -0400 Subject: [PATCH] tests: parser: updated the parser tests that caused a failure due to the lack of engines section --- tests/parser/setup.sby | 2 ++ tests/parser/stage.sby | 2 ++ 2 files changed, 4 insertions(+) diff --git a/tests/parser/setup.sby b/tests/parser/setup.sby index 6ca49e3..9b7e468 100644 --- a/tests/parser/setup.sby +++ b/tests/parser/setup.sby @@ -3,6 +3,8 @@ mode bmc depth 1 expect error +[engines] +smtbmc [setup] enable * diff --git a/tests/parser/stage.sby b/tests/parser/stage.sby index b69a186..7048b60 100644 --- a/tests/parser/stage.sby +++ b/tests/parser/stage.sby @@ -3,6 +3,8 @@ mode bmc depth 1 expect error +[engines] +smtbmc [stage stage_1] mode prove