tests: fix rabin.heyvl

Removed a superfluous `compare` statement. It made the proc's pre irrelevant.
moves-rwth · Mar 21, 2024 · f68c682 · f68c682
1 parent c2f3055
commit f68c682
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/domains/rabin.heyvl b/tests/domains/rabin.heyvl
@@ -15,7 +15,6 @@ proc rabin(init_i: UInt, init_n: UInt, init_d: UInt) -> (i: UInt, n: UInt, d: UI
     n = init_n
     d = init_d
     var prob_choice: Bool;
-    compare ([1 == i] + ([1 < i] * (2/3)));
     assert ([1 == i] + ([1 < i] * (2/3)));
     havoc d, i, n;
     compare ([1 == i] + ([1 < i] * (2/3)));