From a1e50f3602404595374d41242874abafa773e2cb Mon Sep 17 00:00:00 2001 From: 0xneves Date: Thu, 7 Dec 2023 20:02:25 -0300 Subject: [PATCH] fix: removing owner check from make swap - removed the owner check because although the owner needs to be msg.sender, we should not check for view functions since once third party entity could create a swap for someone --- contracts/echidna/TestSwapFactory.sol | 1 - 1 file changed, 1 deletion(-) diff --git a/contracts/echidna/TestSwapFactory.sol b/contracts/echidna/TestSwapFactory.sol index 4c050d6..ad48115 100644 --- a/contracts/echidna/TestSwapFactory.sol +++ b/contracts/echidna/TestSwapFactory.sol @@ -37,7 +37,6 @@ contract TestFactory is SwapFactory { make_asset_array(addr, amountOrId) ); - assert(owner != address(0)); assert(swap.expiry > block.timestamp); assert(swap.biding.length > 0); assert(swap.asking.length > 0);