This PR adds a test with 1K swaps (testSwapSingleHopExactAmountIn) with summarization on CI.
We add the files Swaps1K.{txn, ref, smr} in the directory test/transactions/swaps/UniswapV2SwapRenamed. This directory includes all tests corresponding to test/examples/swaps/UniswapV2SwapRenamed.sol, which we have been doing summarization on.
Swaps1K.txn includes 100K testSwapSingleHopExactAmountIn plus any required setup.
Swaps1K.smr includes true, so as to enable summarization.
Swaps1K.ref was generated by turning summarization off.
This PR adds a test with 1K swaps (
testSwapSingleHopExactAmountIn) with summarization on CI.We add the files
Swaps1K.{txn, ref, smr}in the directorytest/transactions/swaps/UniswapV2SwapRenamed. This directory includes all tests corresponding totest/examples/swaps/UniswapV2SwapRenamed.sol, which we have been doing summarization on.Swaps1K.txnincludes 100KtestSwapSingleHopExactAmountInplus any required setup.Swaps1K.smrincludestrue, so as to enable summarization.Swaps1K.refwas generated by turning summarization off.