Skip to content

Verifying the smart contract (model)

Jump to bottom
Arora edited this page Mar 21, 2021 · 2 revisions

Verifying the smart contract (model)

The contract can be verified using the VerifyContract plugin. This plugin uses the properties defined in the Verification Properties panel and will allow users to download information about the contract.

Process follows.

  1. Click the VerifyContract plugin
verify_plugin
  1. Click on Run...
verify_plugin_run
  1. View success by clicking on the green pop up message
verify_success
  1. Download the txt file
view_verification
  1. View verified properties
output_txt
Clone this wiki locally