Update expected counterexample

viperproject · Jan 24, 2024 · d936afb · d936afb
1 parent 72d9ae8
commit d936afb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr b/prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr
@@ -54,7 +54,7 @@ note: counterexample for "f"
 15 |         BinOp::Div(e, f) => {
    |                       ^
 note: counterexample for result
-        final value:   0
+        final value:   ?
   --> $DIR/enums-6.rs:11:24
    |
 11 | fn apply(op: BinOp) -> i32 {