feat: prove rounding loss

nayms · Jun 20, 2024 · c27a9e1 · c27a9e1
1 parent b8b9399
commit c27a9e1
Show file tree

Hide file tree

Showing 3 changed files with 431 additions and 1 deletion.
diff --git a/src/libs/LibMarket.sol b/src/libs/LibMarket.sol
@@ -1,7 +1,8 @@
 // SPDX-License-Identifier: MIT
 pragma solidity 0.8.20;
 
-import { AppStorage, LibAppStorage, MarketInfo, TokenAmount, OrderMatchingCalcs } from "../shared/AppStorage.sol";
+import { AppStorage, LibAppStorage, MarketInfo, TokenAmount, CalculatedFees, OrderMatchingCalcs } from "../shared/AppStorage.sol";
+import { LibHelpers } from "./LibHelpers.sol";
 import { LibTokenizedVault } from "./LibTokenizedVault.sol";
 import { LibConstants } from "./LibConstants.sol";
 import { LibFeeRouter } from "./LibFeeRouter.sol";