Commit 18e8c357d897a67b08b655a356b71124047284f1
2023-07-26T12:54:04
test boolean comparison operators
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
diff --git a/test/ic3/bool.in b/test/ic3/bool.in
index 20e5c9e..1254e98 100644
--- a/test/ic3/bool.in
+++ b/test/ic3/bool.in
@@ -12,3 +12,17 @@ true || false
true || true
! false
! true
+1 < 1
+1 < 2
+2 < 1
+1 <= 1
+1 <= 2
+2 <= 1
+1 == 1
+1 == 2
+1 >= 1
+2 >= 1
+1 >= 2
+1 > 1
+2 > 1
+1 > 2
diff --git a/test/ic3/bool.out.expected b/test/ic3/bool.out.expected
index b93975a..857a31a 100644
--- a/test/ic3/bool.out.expected
+++ b/test/ic3/bool.out.expected
@@ -12,3 +12,17 @@ true
true
true
false
+false
+true
+false
+true
+true
+false
+true
+false
+true
+true
+false
+false
+true
+false