Dependencies for scyther-proof-0.10.0.1

scyther-proof

Flags

NameDescriptionDefaultType
threaded

Build with support for multithreaded execution

EnabledAutomatic

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