Closed LHerskind closed 1 year ago
Flattens the standard verifier yul and updates add2 to have all 3 inputs be public.
The test setup uses a base that is not to be executed alone, include --no-contract-match TestBase to make sure those are skipped.
--no-contract-match TestBase
Flattens the standard verifier yul and updates add2 to have all 3 inputs be public.
The test setup uses a base that is not to be executed alone, include
--no-contract-match TestBase
to make sure those are skipped.