Skip to content

Commit efab497

Browse files
authored
Fix failing tests (#410)
* Fix failing tests * Fix invariant tests taking too long * Fix more failing tests
1 parent 125f87c commit efab497

File tree

3 files changed

+9
-8
lines changed

3 files changed

+9
-8
lines changed

packages/contracts/evm-contracts/foundry.toml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,4 +32,5 @@ evm_version = 'berlin' # the evm version (by hardfork name)
3232
#block_timestamp = 0 # the value of `block.timestamp` in tests
3333
#block_difficulty = 0 # the value of `block.difficulty` in tests
3434
[invariant]
35-
fail_on_revert = true
35+
fail_on_revert = true
36+
depth = 15

packages/contracts/evm-contracts/test/OrderbookDex.t.sol

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -152,7 +152,7 @@ contract OrderbookDexTest is CTest, ERC1155Holder {
152152
function testFuzz_fillOrdersExactEth_transfersCorrectly(uint256 price) public {
153153
uint256 ordersCount = 5;
154154
vm.assume(price / ordersCount > 0);
155-
vm.assume(price < type(uint256).max / ordersCount / 10000);
155+
vm.assume(price < type(uint256).max / ordersCount / orderCreationFee);
156156
uint256[] memory orderIds = new uint256[](ordersCount);
157157
address payable[] memory sellers = new address payable[](ordersCount);
158158
uint256[] memory assetIds = new uint256[](ordersCount);
@@ -241,7 +241,7 @@ contract OrderbookDexTest is CTest, ERC1155Holder {
241241
function testFuzz_fillOrdersExactAsset_transfersCorrectly(uint256 price) public {
242242
uint256 ordersCount = 5;
243243
vm.assume(price / ordersCount > 0);
244-
vm.assume(price < type(uint256).max / ordersCount / 10000);
244+
vm.assume(price < type(uint256).max / ordersCount / orderCreationFee);
245245
uint256[] memory orderIds = new uint256[](ordersCount);
246246
address payable[] memory sellers = new address payable[](ordersCount);
247247
uint256[] memory assetIds = new uint256[](ordersCount);
@@ -333,7 +333,7 @@ contract OrderbookDexTest is CTest, ERC1155Holder {
333333
uint256 assetAmountToBuy
334334
) public {
335335
vm.assume(assetAmount > 0 && pricePerAsset > 1);
336-
vm.assume(assetAmount < type(uint256).max / pricePerAsset / 10000);
336+
vm.assume(assetAmount < type(uint256).max / pricePerAsset / orderCreationFee);
337337
vm.assume(pricePerAsset < type(uint256).max / assetAmount);
338338
vm.assume(assetAmountToBuy < assetAmount);
339339

@@ -383,7 +383,7 @@ contract OrderbookDexTest is CTest, ERC1155Holder {
383383
uint256 assetAmountToBuy
384384
) public {
385385
vm.assume(assetAmount > 0 && pricePerAsset > 0);
386-
vm.assume(assetAmount < type(uint256).max / pricePerAsset / 10000);
386+
vm.assume(assetAmount < type(uint256).max / pricePerAsset / orderCreationFee);
387387
vm.assume(pricePerAsset < type(uint256).max / assetAmount);
388388
vm.assume(assetAmountToBuy < assetAmount);
389389

@@ -433,7 +433,7 @@ contract OrderbookDexTest is CTest, ERC1155Holder {
433433
) public {
434434
uint256 multiplier = 3;
435435
vm.assume(assetAmount > 0 && pricePerAsset > 0);
436-
vm.assume(assetAmount < type(uint256).max / pricePerAsset / multiplier / 10000);
436+
vm.assume(assetAmount < type(uint256).max / pricePerAsset / multiplier / orderCreationFee);
437437
vm.assume(pricePerAsset < type(uint256).max / assetAmount / multiplier);
438438

439439
vm.deal(alice, assetAmount * pricePerAsset * multiplier);
@@ -462,7 +462,7 @@ contract OrderbookDexTest is CTest, ERC1155Holder {
462462
) public {
463463
uint256 multiplier = 3;
464464
vm.assume(assetAmount > 0 && pricePerAsset > 0);
465-
vm.assume(assetAmount < type(uint256).max / pricePerAsset / multiplier / 10000);
465+
vm.assume(assetAmount < type(uint256).max / pricePerAsset / multiplier / orderCreationFee);
466466
vm.assume(pricePerAsset < type(uint256).max / assetAmount / multiplier);
467467

468468
vm.deal(alice, assetAmount * pricePerAsset * multiplier);

packages/contracts/evm-contracts/test/OrderbookDexInvariant.t.sol

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ import {IOrderbookDex} from "../contracts/orderbook/IOrderbookDex.sol";
1515
import {OrderbookDex} from "../contracts/orderbook/OrderbookDex.sol";
1616
import {OrderbookDexProxy} from "../contracts/Proxy/OrderbookDexProxy.sol";
1717

18-
contract AssetHandler is CTest {
18+
contract AssetHandler is CTest, ERC1155Holder {
1919
CheatCodes vm = CheatCodes(HEVM_ADDRESS);
2020
IOrderbookDex public dex;
2121
IInverseAppProjected1155 asset;

0 commit comments

Comments
 (0)