Dependencies for tamarin-prover-0.1.0.0
tamarin-prover |
|
---|
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
threaded | Build with support for multithreaded execution | Enabled |
test-coverage | Build with test coverage support | Enabled |
build-tests | Build unit test driver | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info