crytic / echidna-streaming-series Goto Github PK

Contributors

Stargazers

Forkers

pradhumnapancholi immaxkent chmielewskikamil ardislu audityourcontracts 0xfuje 0xharold 5hutt3r5 tahslim aroralanuk k-xo webthethird rabin-verilog bart1e guille-block mektigboy ahmedali8 nicodfs 3squ4red offsecpedia drewcook oxfordstreet aviggiano sentry0x princeleonal perfogic algobotishere tredesboi md-assembla fofonana

swapExactTokensForTokensPathIndependence(uint256): failed!💥
  Call sequence:
    testProvideLiquidityInvariants(7222,148)
    testRemoveLiquidityInvariants(1412263)
    testSwapTokens(878955802143800039497958245)
    testPathIndependenceForSwaps(0)

    /*
    Swapping x of testToken1 for y token of testToken2 and back should (roughly) give user x of testToken1.
    The following function checks this condition by assessing that the resulting x is no more than 3% from the original x.
    ...
    */
    ...

        assert((x - xOut) * 100 <= 3 * x); // (x - xOut) / x <= 0.03; no more than 3% loss of funds