the summarized rule that replaces the initial configuration with the one for UniswapV2SwapRenamed, if we identify the input as UniswapV2SwapRenamed.
a configuration variable that denotes whether the compiled input is the UniswapV2SwapRenamed test. It is currently boolean, and can be changed to an enum when we have more inputs to identify. If true, we apply the the summarized rule.
update to krun-sol to read the new configuration variable
new input files for the configuration variable all tests, true/false as needed
The mechanism used to apply the summarized rule is matching the contents of the new cell, to apply either the summarized rule or the initial rewrite rule
rule _:PragmaDefinition Ss:SourceUnits => Ss
, because for some reason I cannot figure out the priority does not help here.
This PR includes the following changes:
The mechanism used to apply the summarized rule is matching the contents of the new cell, to apply either the summarized rule or the initial rewrite rule
, because for some reason I cannot figure out the priority does not help here.