London mega testing issue

[lorenzogentile404]

List of issues

• Mega "precompile testing" issue #1437 @OlivierBBB
• Mega "warmth testing" issue #1436
• Mega "advanced testing" issue #1771 one test will be part of @amkCha 's PR : feat: advanced testing framework #955
• MultiExceptionTests #1838
• MODEXP tests where the leadingBytesOfExponent is zero #1836
• MODEXP testing for sequencer #1833 and https://github.com/Consensys/protocol-misc/issues/1026
• Deployment tests: nontrivial deployments #1599
• Deliberate Failure Condition F triggering with CREATE2 #1087 Partially addressed at least in the create tests for failure condition. See Deployment tests: nontrivial deployments #1599.
• Precompile tests where we run up agains the (63/64)-ths stuff #1153 @lorenzogentile404
• Extending the "simple exception tests" #1638
• Advanced storage testing #1205 TODO: merge the tests from @bogdanbear @arijitdutta67
• ROM replay test from Mainnet launch #820
• Copy and load instructions with OOB offsets #1454
• Prewarming + deployments #1035 and Tests for #785 #790
• SELFDESTRUCT test vectors #854
• CREATE tests #843
• STP test vectors #782 TODO: add parametric tests (random approach does not guarantee all interesting cases are covered)
• Make TX_SKIP/INIT/WARM tests parametric #1770
• Resetting / Updating return data tests #1749
• Nontrivial values tests for stack-consistency testing #1685
• Add tests to ROM_LEX module #310 @letypequividelespoubelles
• Unit test for absolute value #1323
• Simple test where we revert multiple CALL's in succession #1172 @lorenzogentile404
• Low gas stipend precompile calls #1730 @lorenzogentile404
• Tests for SLOAD and SSTORE where one of these instructions has multiple revert reasons #1660 @lorenzogentile404
• Extensive testing for signed operations #1182 @lorenzogentile404
• test(oogx): CALL different scenarios and gas accumulator #1515
• Precompile testing of the first 2 account rows #886
• Test for CODECOPY'ing initialization code #1482
• EXTCODEXXX + deployment test vectors #828
• Add test that ROM / ROMLEX doesn't create doublon when calling the same Code Fragment Index (CFI) #665
• Add test cases for SHAKIRA_DATA #707 but description is in https://github.com/Consensys/linea-specification-internal/issues/428 @letypequividelespoubelles
• Test reverting LOGs and the impact on the MMU module and its STAMP #671 @letypequividelespoubelles
• Add tests to ROM module #309 @letypequividelespoubelles
• More TX_SKIP edge cases #1532 @letypequividelespoubelles
• BLOCKHASH tests #1683 @letypequividelespoubelles
• RLP_TXN testing #1793 @letypequividelespoubelles
• SELFDESTRUCT'ing COINBASE address tests #1662 @letypequividelespoubelles
• SKIP, PREWARM and INIT phase test vectors #1740 @letypequividelespoubelles
• CALL exceptions testing #1514

[lorenzogentile404]

TODO:

• Group by issues by topic.
• Make clear the test cases are already covered in the BlockchainReferenceTests or StateReferenceTests suites.

[OlivierBBB]

To take into account when writing parametric tests:

• The nature of the "base" context of tests matters and must be included in parametric tests #1772