Fix test annotations.

viperproject · Jul 19, 2023 · c153d2c · c153d2c
1 parent c2990d5
commit c153d2c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prusti-tests/tests/verify/fail/no-annotations/divide-by-zero.rs b/prusti-tests/tests/verify/fail/no-annotations/divide-by-zero.rs
@@ -1,4 +1,5 @@
 fn main() {
     let y = 0;
     let z = 1 / y;  //~ ERROR assertion might fail with "attempt to divide by zero"
+                    //~^ ERROR this operation will panic at runtime
 }