Dependencies for hevm-0.51.0
library |
|
---|---|
test-utils |
|
hevm |
Flags
Manual Flags
Name | Description | Default |
---|---|---|
ci | Sets flags for compilation in CI | Disabled |
devel | Sets flag for compilation during development | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info