Steven Franzen 6070745cab Improve reporting of unmatched filters (#1684)
This PR ultimately does 3 things
* Separately tracks matched tests per each filter part (that is, a set of filters separated by an OR (`,`)), which allows Catch2 to report each of the alternative filters that don't match any tests.
* Fixes `-w NoTests` to return non-zero in the process
* Adds tests for `-w NoTests`.
2019-08-06 20:51:19 +02:00
..
2017-09-07 17:25:15 +02:00
2017-12-09 20:17:47 +01:00
2019-01-13 19:01:12 +01:00
2017-09-07 17:25:15 +02:00
2017-08-30 15:53:39 +02:00
2019-08-05 19:12:29 +02:00
2019-02-08 10:41:23 +01:00
2019-04-03 20:32:11 +02:00
2017-07-27 11:32:01 +02:00
2019-05-26 21:19:55 +02:00
2019-01-11 11:55:51 +01:00
2019-06-17 12:02:14 +02:00