Change reporters to report filters in round-trippable format

This commit is contained in:
Martin Hořeňovský
2022-10-27 20:43:00 +02:00
parent d2294ad9b6
commit d41da10c54
21 changed files with 31 additions and 24 deletions

View File

@@ -1,4 +1,4 @@
# filters: ~[!nonportable]~[!benchmark]~[approvals] *
# filters: "*" ~[!nonportable] ~[!benchmark] ~[approvals]
# rng-seed: 1
# # A test name that starts with a #
ok {test-number} - with 1 message: 'yay'