Skip to content

Commit e823253

Browse files
tautschnigtautschnig
committed
Test contracts/quantifiers-exists-ensures-02 was fixed via c29b69a 
1 parent 25a7b36 commit e823253

File tree

1 file changed

+1
-1
lines changed
  • regression/contracts/quantifiers-exists-ensures-02

1 file changed

+1
-1
lines changed

‎regression/contracts/quantifiers-exists-ensures-02/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
KNOWNBUG
1+
CORE
22
main.c
33
--enforce-all-contracts
44
^EXIT=10$

0 commit comments

Comments
 (0)