From 97d058a954801996200011393f8591fa4bd79d22 Mon Sep 17 00:00:00 2001 From: Palina Tolmach Date: Thu, 4 Aug 2022 19:47:37 +0800 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f072d82..c339f80 100644 --- a/README.md +++ b/README.md @@ -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`