Skip to content
Snippets Groups Projects
Commit dd181d55 authored by Michele Alberti's avatar Michele Alberti
Browse files

[config] Fix result interpretation in abcrown driver.

parent 4a6046da
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
config/drivers/abcrown.drv
+ 2
− 2
View file @ dd181d55
...@@ -26,7 +26,7 @@ prelude ";;; produced by alpha-beta-CROWN driver" ...@@ -26,7 +26,7 @@ prelude ";;; produced by alpha-beta-CROWN driver"
import "vnnlib.gen" import "vnnlib.gen"
valid "^Result: sat" valid "^Result: unsat"
invalid "^Result: unsat" invalid "^Result: sat"
timeout "^Result: timeout" timeout "^Result: timeout"
unknown "^Result: unknown" "" unknown "^Result: unknown" ""
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment