Dependencies for sbv-8.7

library

Flags

NameDescriptionDefaultType
skiphlinttester

Do not build the HLint tester

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info