Disable

ajreynol · Jan 14, 2025 · 74174df · 74174df
1 parent ff289cf
commit 74174df
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/regress/cli/regress1/datatypes/nullables/nullable-lift-unsat.smt2 b/test/regress/cli/regress1/datatypes/nullables/nullable-lift-unsat.smt2
@@ -1,4 +1,5 @@
 ; DISABLE-TESTER: lfsc
+; DISABLE-TESTER: cpc
 (set-logic HO_ALL)
 (set-info :status unsat)
 (assert (= (nullable.lift (lambda ((x Bool) (y Bool)) (and x y)) (nullable.some false) (nullable.some false)) (nullable.some true)))