From d7e254b99b7204e1f56ca9d132fdcac65ae4eee0 Mon Sep 17 00:00:00 2001 From: rickck11 Date: Mon, 23 Sep 2024 01:04:03 -0300 Subject: [PATCH 1/2] delete outdated structure --- packages/contracts-bedrock/test/kontrol/README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/packages/contracts-bedrock/test/kontrol/README.md b/packages/contracts-bedrock/test/kontrol/README.md index 489a9017e3c7..80da93ef28b4 100644 --- a/packages/contracts-bedrock/test/kontrol/README.md +++ b/packages/contracts-bedrock/test/kontrol/README.md @@ -37,8 +37,7 @@ The directory is structured as follows ├── pausability-lemmas.md: File containing the necessary lemmas for this project ├── deployment: Custom deploy sequence for Kontrol proofs and tests for its fast summarization │ ├── KontrolDeployment.sol: Deployment sequence for Kontrol proofs -│ ├── DeploymentSummary.t.sol: Tests for the summarization of classic deployment -│ └── DeploymentSummaryFaultProofs.t.sol: Tests for the summarization of fault proofs deployment + deployment ├── proofs: Where the proofs (tests) themselves live │ ├── *.k.sol: Symbolic property tests for contracts │ ├── interfaces: Interface files for src contracts, to avoid unnecessary compilation of contracts From 8aa5db9381f1a63c5acf52220df53133b99e3168 Mon Sep 17 00:00:00 2001 From: rickck11 Date: Mon, 23 Sep 2024 01:13:29 -0300 Subject: [PATCH 2/2] small fix --- packages/contracts-bedrock/test/kontrol/README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/packages/contracts-bedrock/test/kontrol/README.md b/packages/contracts-bedrock/test/kontrol/README.md index 80da93ef28b4..0a6dcec7c79b 100644 --- a/packages/contracts-bedrock/test/kontrol/README.md +++ b/packages/contracts-bedrock/test/kontrol/README.md @@ -37,7 +37,6 @@ The directory is structured as follows ├── pausability-lemmas.md: File containing the necessary lemmas for this project ├── deployment: Custom deploy sequence for Kontrol proofs and tests for its fast summarization │ ├── KontrolDeployment.sol: Deployment sequence for Kontrol proofs - deployment ├── proofs: Where the proofs (tests) themselves live │ ├── *.k.sol: Symbolic property tests for contracts │ ├── interfaces: Interface files for src contracts, to avoid unnecessary compilation of contracts