Add it to another expected test

model-checking · Jun 15, 2023 · ec604a7 · ec604a7
1 parent 4101f6d
commit ec604a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/ui/should-panic-attribute/unexpected-failures/expected b/tests/ui/should-panic-attribute/unexpected-failures/expected
@@ -9,4 +9,4 @@ Failed Checks: panicked on the `1` arm!
 Failed Checks: panicked on the `0` arm!
 Failed Checks: shift distance too large
 
-VERIFICATION:- FAILED
+VERIFICATION:- FAILED (one or more global conditions failed)