search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
320 stars 49 forks source link

`easycrypt runtest` should accept more options #506

Closed vbgl closed 7 months ago

vbgl commented 11 months ago

When using the runtest command of the CLI to EasyCrypt, only global options can be given. It might be useful to be able to also use options from the “provers” and “loader” groups.