From a74804fdd6220eed9d4da83d587654cf19fa676e Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Tue, 21 Nov 2023 15:20:56 +0100 Subject: [PATCH] Update tests --- tests/models/bool/bool1.models.expected | 8 ++++---- tests/models/bool/bool2.models.expected | 2 +- tests/models/bool/bool3.models.expected | 4 ++-- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/tests/models/bool/bool1.models.expected b/tests/models/bool/bool1.models.expected index 35802f145..1eb3e25e7 100644 --- a/tests/models/bool/bool1.models.expected +++ b/tests/models/bool/bool1.models.expected @@ -4,8 +4,8 @@ unknown (define-fun p () Bool true) (define-fun q () Bool true) ) -((notp unknown) - (notnq unknown)) +((notp false) + (notnq false)) unknown @@ -13,6 +13,6 @@ unknown (define-fun p () Bool true) (define-fun q () Bool true) ) -((notp unknown) - (notnq unknown)) +((notp false) + (notnq false)) diff --git a/tests/models/bool/bool2.models.expected b/tests/models/bool/bool2.models.expected index e18a0a3ca..e0f6879b8 100644 --- a/tests/models/bool/bool2.models.expected +++ b/tests/models/bool/bool2.models.expected @@ -3,5 +3,5 @@ unknown ( (define-fun x () Bool false) ) -((notx unknown)) +((notx true)) diff --git a/tests/models/bool/bool3.models.expected b/tests/models/bool/bool3.models.expected index fe12959f8..341a2df7e 100644 --- a/tests/models/bool/bool3.models.expected +++ b/tests/models/bool/bool3.models.expected @@ -4,6 +4,6 @@ unknown (define-fun x () Bool true) (define-fun y () Bool true) ) -((foo unknown) - (bar unknown)) +((foo true) + (bar false))