Fix

ajreynol · Feb 24, 2025 · a0f32c4 · a0f32c4
1 parent d0e049d
commit a0f32c4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/regress/cli/regress0/arith/divisible-unsat.smt2 b/test/regress/cli/regress0/arith/divisible-unsat.smt2
@@ -1,4 +1,5 @@
 ; EXPECT: unsat
+; DISABLE-TESTER: alethe
 (set-logic ALL)
 (declare-fun x () Int)
 (assert ((_ divisible 14) x))