Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@palinatolmach
palinatolmach authored Aug 4, 2022
1 parent f93fa4a commit 97d058a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -237,4 +237,4 @@ Our modified version of SCRepair relies on our symbolic engine, **DeFinery-see**
* The path to a smart contract or a file with several smart contracts to be analyzed, e.g., `/contracts/CONTRACT_NAME.sol`. This file has to be located in the /contracts folder. There should also be an `/experiments` folder to store the results.
* The name of a vulnerable smart contract to be repaired: `CONTRACT_NAME`

`./definery-see -symexe-main ~/contracts/CONTRACT_NAME.sol CONTRACT_NAME`
`./definery-see -symexe-main ./contracts/CONTRACT_NAME.sol CONTRACT_NAME`

0 comments on commit 97d058a

Please sign in to comment.