Integrate results from application-level checkers

hyperledger-labs / blockchain-verifier

bcverifier: Blockchain verification tool

Apache License 2.0

16 stars 8 forks source link

Closed shimos closed 4 years ago

shimos commented 4 years ago

This PR adds interface for application-level checkers to report their results.

With this interface, the results are integrated to those from other checkers (i.e. block and transaction integrity checks)

satota2 commented 4 years ago

LGTM