Dependencies for bv-0.5

library
bv-tester

Flags

NameDescriptionDefaultType
gmp

Using Integer GMP backend.

EnabledAutomatic
test

Build the test suite, and an executable to run it.

DisabledManual
check-bounds

Bounds checking.

EnabledManual
dev

Development options.

DisabledManual

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