diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-11 14:00:51 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-13 20:37:05 +0200 |
commit | fa36ad8b091c70190491280dcf0794e94e34a9ed (patch) | |
tree | dd1c8702eaf05971443c4f29de82446b82d1cd53 /.github | |
parent | 357e3f6aa476658aecae7239b4b06d2bc362ff1e (diff) |
fuzz: Accept options in FUZZ_TARGET macro
* This allows to reduce the number of total macros.
* Also, adding a new option no longer requires doubling the number of
macros in the worst case.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions