test: Warn if both VERIFY and COVERAGE are defined #1333

1. 
   hebasto commented at 10:27 am on May 30, 2023: member

   Solves one item in #1235.

   Also see: #1113 (review).

2. test: Warn if both `VERIFY` and `COVERAGE` are defined e83801f5db
3. hebasto cross-referenced this on May 30, 2023 from issue build: Meta-issue for follow-ups to initial CMake merge (#1113) by hebasto
4. real-or-random approved
5. 
   real-or-random commented at 11:52 am on May 30, 2023: contributor

   ACK e83801f5db2cb63e6343eff0ecfa40b7cd4a9090
6. real-or-random added the label build on May 30, 2023
7. real-or-random added the label assurance on May 30, 2023
8. 
   sipa commented at 4:55 pm on May 31, 2023: contributor

   utACK e83801f5db2cb63e6343eff0ecfa40b7cd4a9090
9. real-or-random merged this on May 31, 2023
10. real-or-random closed this on May 31, 2023

    ---

11. hebasto deleted the branch on Jun 1, 2023
12. vmta referenced this in commit e1120c94a1 on Jun 4, 2023
13. sipa referenced this in commit 901336eee7 on Jun 21, 2023
14. vmta referenced this in commit 8f03457eed on Jul 1, 2023
15. hebasto referenced this in commit 270d2b37b8 on Jul 21, 2023
16. jonasnick cross-referenced this on Jul 26, 2023 from issue Upstream PRs 1314, 1317, 1318, 1316, 1327, 1310, 1328, 1333, 1330, 1334, 1337, 1341, 1339, 1350, 1349, 1338, 1129, 1347, 1336, 1295, 1354, 1355, 1356 by jonasnick

Contributors
hebasto real-or-random sipa

Labels
assurance build