tree 68d1bd5ad8b43482293d35c48e9cde581df58f35
parent 519762b7e650547c3e4a9bcd0332abd15fbd5a9a
author Gilles Peskine <Gilles.Peskine@arm.com> 1712827078 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1712865655 +0200

TestCase: add mechanism to skip a test case

Allow "skipping" a test case, meaning that the test case is generated
commented out. This is useful when systematically generating test cases
according to certain rules, where some generated tests cannot be executed
but we still want them to be visible when auditing the generation output.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>