Skip to content

N
nebula
Commit fe8f2ae7 authored by Harper's avatar Harper Committed by GitHub
Browse files
Options

Delete interface directory (#12208)

parent de2d9fce
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 1 deletion
packages/contracts-bedrock/test/kontrol/README.md
View file @ fe8f2ae7
...@@ -39,7 +39,6 @@ The directory is structured as follows ...@@ -39,7 +39,6 @@ The directory is structured as follows
│ ├── <a href="./deployment/KontrolDeployment.sol">KontrolDeployment.sol</a>: Deployment sequence for Kontrol proofs │ ├── <a href="./deployment/KontrolDeployment.sol">KontrolDeployment.sol</a>: Deployment sequence for Kontrol proofs
├── <a href="./proofs">proofs</a>: Where the proofs (tests) themselves live ├── <a href="./proofs">proofs</a>: Where the proofs (tests) themselves live
│ ├── *.k.sol</a>: Symbolic property tests for contracts │ ├── *.k.sol</a>: Symbolic property tests for contracts
│ ├── <a href="./proofs/interfaces">interfaces</a>: Interface files for src contracts, to avoid unnecessary compilation of contracts
│ └── <a href="./proofs/utils">utils</a>: Proof dependencies, including the autogenerated deployment summary contracts │ └── <a href="./proofs/utils">utils</a>: Proof dependencies, including the autogenerated deployment summary contracts
└── <a href="./scripts">scripts</a>: Where the scripts of the projects live └── <a href="./scripts">scripts</a>: Where the scripts of the projects live
├── <a href="./scripts/json">json</a>: Data cleaning scripts for the output of <a href="./deployment/KontrolDeployment.sol">KontrolDeployment.sol</a> ├── <a href="./scripts/json">json</a>: Data cleaning scripts for the output of <a href="./deployment/KontrolDeployment.sol">KontrolDeployment.sol</a>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment