Structs§
- Verify
Args - Arguments for the
verifycommand.
Enums§
- Postfix
Repeat - Postfix repeat count:
auto(default) enables automatic loop-depth detection; a number N ≥ 0 sets a fixed repeat count. - Verify
Mode
verify command.auto (default) enables automatic loop-depth
detection; a number N ≥ 0 sets a fixed repeat count.