contract-verification

There are 2 repositories under contract-verification topic.

  • Acidmanic/PactDoc

    This is a command line tool for creating documentations out of pact contract files, and also verfying pact files for any custome conventions.

    Language:Java120

  • acravenho/contract-verification

    Smart contract verification api. Compare contract source code to bytecode in this simple to use API.

    Language:JavaScript1210