Skip to content

Commit

Permalink
fix: removing owner check from make swap
Browse files Browse the repository at this point in the history
- 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
  • Loading branch information
0xneves committed Dec 7, 2023
1 parent bde72a5 commit a1e50f3
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion contracts/echidna/TestSwapFactory.sol
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit a1e50f3

Please sign in to comment.