From ff48d2b9fd5cab298f1fdd4e14a36523cd39b280 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 23 Jun 2026 10:11:10 +0200 Subject: [PATCH] Fix aiger_options test --- tests/regression/aiger_options.sby | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/regression/aiger_options.sby b/tests/regression/aiger_options.sby index 4bb659e..4514f60 100644 --- a/tests/regression/aiger_options.sby +++ b/tests/regression/aiger_options.sby @@ -17,7 +17,7 @@ mode_bmc: mode bmc mode_prove: mode prove mode_live: mode live -depth 4 +mode_bmc: depth 4 mode_live: expect fail [engines]