Update model checker config docs to use relative paths. (foundry-rs#2364

)
joshieDo · Jul 18, 2022 · 7821c5a · 7821c5a
1 parent 44f3a4b
commit 7821c5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config/README.md b/config/README.md
@@ -179,7 +179,7 @@ to the `[profile.default]` profile.
 
 ```toml
 [profile.default.model_checker]
-contracts = { '/path/to/project/src/Contract.sol' = [ 'Contract' ] }
+contracts = { 'src/Contract.sol' = [ 'Contract' ] }
 engine = 'chc'
 timeout = 10000
 targets = [ 'assert' ]