Use full output lines in ui tests

model-checking · Jan 3, 2024 · fc08166 · fc08166
1 parent 1dda0ed
commit fc08166
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tests/ui/should-panic-attribute/expected-panics/expected b/tests/ui/should-panic-attribute/expected-panics/expected
@@ -2,5 +2,5 @@
 Failed Checks: panicked on the `if` branch!
 Failed Checks: panicked on the `else` branch!
 GLOBAL CONDITIONS:\
-- should_panic: SUCCESS
+ - should_panic: SUCCESS (encountered one or more panics as expected)
 VERIFICATION:- SUCCESSFUL
diff --git a/tests/ui/should-panic-attribute/no-panics/expected b/tests/ui/should-panic-attribute/no-panics/expected
@@ -2,5 +2,5 @@ check.assertion\
 SUCCESS\
 assertion failed: 1 + 1 == 2
 GLOBAL CONDITIONS:\
-- should_panic: FAILURE
+ - should_panic: FAILURE (encountered no panics, but at least one was expected)
 VERIFICATION:- FAILED (one or more global conditions failed)
diff --git a/tests/ui/should-panic-attribute/unexpected-failures/expected b/tests/ui/should-panic-attribute/unexpected-failures/expected
@@ -3,7 +3,7 @@ Status: FAILURE\
 Description: "attempt to shift by excessive shift distance"
 
 GLOBAL CONDITIONS:\
-- should_panic: FAILURE
+ - should_panic: FAILURE (encountered failures other than panics, which were unexpected)
 
 Failed Checks: panicked on the `1` arm!
 Failed Checks: panicked on the `0` arm!