From dd181d554e05d20ecba7ad67e1acc13dcf7c87a6 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 31 May 2023 15:02:26 +0200
Subject: [PATCH] [config] Fix result interpretation in abcrown driver.

---
 config/drivers/abcrown.drv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/drivers/abcrown.drv b/config/drivers/abcrown.drv
index d9b7b64..ca8f21c 100644
--- a/config/drivers/abcrown.drv
+++ b/config/drivers/abcrown.drv
@@ -26,7 +26,7 @@ prelude ";;; produced by alpha-beta-CROWN driver"
 
 import "vnnlib.gen"
 
-valid "^Result: sat"
-invalid "^Result: unsat"
+valid "^Result: unsat"
+invalid "^Result: sat"
 timeout "^Result: timeout"
 unknown "^Result: unknown" ""
-- 
GitLab