search

hyperledger-labs / blockchain-verifier

bcverifier: Blockchain verification tool
Apache License 2.0
16 stars 8 forks source link

New option to exclude checkers #12

Closed shimos closed 3 years ago

shimos commented 3 years ago

This PR introduces a new option in CLI to specify the checkers to exclude from executing. This might be helpful when one wants to skip certain time-consuming checks.