fix: change name to TransferHarness

morpho-org · Aug 16, 2023 · ffc7844 · ffc7844
1 parent 9229f3c
commit ffc7844
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/certora/harness/TransferHarness.sol b/certora/harness/TransferHarness.sol
@@ -9,7 +9,7 @@ interface IERC20Extended is IERC20 {
     function totalSupply() external returns (uint256);
 }
 
-contract Transferer {
+contract TransferHarness {
     function doTransfer(address token, address from, address to, uint256 value) public {
         IERC20Extended(token).transferFrom(from, to, value);
     }

diff --git a/certora/scripts/verifyBlueTransferSummary.sh b/certora/scripts/verifyBlueTransferSummary.sh
@@ -6,7 +6,7 @@ certoraRun \
     certora/harness/TransferHarness.sol \
     certora/dispatch/ERC20Good.sol \
     certora/dispatch/ERC20USDT.sol \
-    --verify Transferer:certora/specs/BlueTransferSummary.spec \
+    --verify TransferHarness:certora/specs/BlueTransferSummary.spec \
     --packages openzeppelin-contracts=lib/openzeppelin-contracts/contracts \
     --loop_iter 3 \
     --optimistic_loop \