Gilles Peskine | 1c52e57 | 2024-05-23 15:50:44 +0200 | [diff] [blame] | 1 | /* BEGIN_HEADER */ |
2 | |||||
3 | /* END_HEADER */ | ||||
4 | |||||
5 | /* BEGIN_CASE */ | ||||
6 | /* This test case always passes. It is intended solely for configuration | ||||
7 | * reporting in the outcome file. Write test cases using this function | ||||
8 | * with dependencies to record in which configurations the dependencies | ||||
9 | * are met. */ | ||||
10 | void pass() | ||||
11 | { | ||||
12 | goto exit; | ||||
13 | } | ||||
14 | /* END_CASE */ |