From a3efcbc9afcb6e94e74d571ac776ec743a7dc824 Mon Sep 17 00:00:00 2001 From: Johannes Spaeth Date: Fri, 6 Dec 2024 12:53:28 +0100 Subject: [PATCH] Testing correct indentation --- docs/cvl/foundry-integration.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/cvl/foundry-integration.md b/docs/cvl/foundry-integration.md index 78cded37..952d218e 100644 --- a/docs/cvl/foundry-integration.md +++ b/docs/cvl/foundry-integration.md @@ -20,13 +20,13 @@ There is a minimum of 2 required files to get the Prover to verify Foundry fuzz - First, we need a `.spec` file written in CVL to tell the Prover what to verify. The file is very simple, and in the minimal case has exactly one line:\ -\ + ```solidity use builtin rule verifyFoundryFuzzTests; ``` - Second, you need a `.conf` file that will provide the Prover the information of which contract to verify, and what `.spec` file to use. -A minimal `.conf` file will look like this: +A minimal `.conf` file will look like this:\ ```json { @@ -91,7 +91,7 @@ that start in `test*` and will use these to formally verify them. - One of the usual usages of the `setUp()` function is to create new contract instances for testing. When setting up the Prover run, the way to handle such storage references to other contracts is to use linking. If, for example, we have the following test code\ -\ + ```solidity contract TestContract is Test { MyContract myContract; @@ -104,7 +104,7 @@ contract TestContract is Test { ``` \ then add to the `.conf` file:\ -\ + ```json "files": [ "...",