Skip to content

Commit

Permalink
fixup! IC3: better error message when given assumption
Browse files Browse the repository at this point in the history
  • Loading branch information
tautschnig committed Jan 3, 2025
1 parent 883fd0d commit 41ff297
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion regression/ebmc/ic3/not_supported3.desc
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@ CORE
not_supported3.sv
--ic3
^no support for assumptions$
^EXIT=1$
^EXIT=10$
^SIGNAL=0$
--
2 changes: 1 addition & 1 deletion src/ic3/m1ain.cc
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,7 @@ property_checker_resultt ic3_enginet::operator()()
if(property.is_assumed())
{
message.error() << "no support for assumptions" << messaget::eom;
return 1;
return property_checker_resultt::error();
}
}

Expand Down

0 comments on commit 41ff297

Please sign in to comment.