bors e7c2ab6d5b Auto merge of #2157 - RalfJung:tests, r=oli-obk ...

tweak new test suite output

- Make the entire "## Running ui tests ..." green, including the target.
- Fix double-space in `testname.rs  .. ok`.
- Make the final summary a bit more like compiletest-rs, in particular the newlines around it
- Use the term "ignored" consistently, rather than "skipped"

r? `@oli-obk`

2022-05-25 17:39:53 +00:00

..

compile-fail

enable number validity checking and ptr::invalid checking by default

2022-05-25 16:17:41 +02:00

run-fail

Add a custom ui test runner and move all tests to it

2022-05-25 13:31:26 +00:00

run-pass

enable number validity checking and ptr::invalid checking by default

2022-05-25 16:17:41 +02:00

compiletest.rs

tweak new test suite output

2022-05-25 18:27:20 +02:00