diff options
| author | Kevin Laeufer | 2022-01-19 11:42:25 -0800 |
|---|---|---|
| committer | GitHub | 2022-01-19 19:42:25 +0000 |
| commit | c98ee33827d21f88911f2ca1a6e04bcbb3864fe8 (patch) | |
| tree | 355876bb3190939b6c9b49f65a1cb39013c4066d /scripts | |
| parent | 5569c72c1b6246efd203e00f7af6041567575eec (diff) | |
preset: make PropagatePreset play nice with verification statements (#2453)
Verification statements are guarded by reset.
If this reset happens to be a "preset" type
reset, they should always be active.
The easiest way to achieve that is to replace
all uses of "preset" resets with zero.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions