wip

Author: hoytech

src/MaglevBase.sol

@@ -69,6 +69,9 @@ abstract contract MaglevBase is EVCUtil, Ownable {
         virtualReserve1 = vr1;
 
         syncVirtualReserves();
+
+        virtualReserve0 = reserve0;
+        virtualReserve1 = reserve1;
     }
 
     /// @dev Call whenever underlying balances change externally

src/MaglevEulerSwap.sol

@@ -29,6 +29,11 @@ contract MaglevEulerSwap is MaglevBase {
         uint256 py = 1e18;
         uint256 cx = 0.40e18;
         uint256 cy = 0.85e18;
+
+        //require(_verify(49e18, 51e18, px, py, 50e18, 50e18, cx, cy), KNotSatisfied());
+
+        console.log("QQ", newReserve0, newReserve1);
+        console.log("ZZ", virtualReserve0, virtualReserve1);
         require(_verify(newReserve0, newReserve1, px, py, virtualReserve0, virtualReserve1, cx, cy), KNotSatisfied());
     }
 

test/EulerSwap.t.sol

@@ -31,7 +31,7 @@ contract EulerSwapTest is MaglevTestBase {
 
     function test_basicSwap() public {
         uint256 amountIn = 1e18;
-        uint256 amountOut = 0.3e18;
+        uint256 amountOut = 0.9999999e18;
 
         assetTST.mint(address(this), amountIn);