search

Consensys / linea-tracer

Part of the Linea stack responsible for extracting data from the execution of an EVM client in order to construct large matrices called execution traces.
https://linea.build
Other
34 stars 22 forks source link

`ROM` tests #1412

Open OlivierBBB opened 5 days ago

OlivierBBB commented 5 days ago

Parametric tests

A single test per pair 0 ≤ j ≤ k and 1 ≤ k ≤ 32.

// simplified instructions to chain:
PUSHk 0x ff ff ... ff // with j ≤ k differents ff's

One single large test

// simplified instructions to chain:
PUSHk 0x 5b 5b ... 5b // with j repetitions of 5b ≡ JUMPDEST, where 0 ≤ j ≤ k and 1 ≤ k ≤ 32

The code should be a concatenation of all of the ~ 512 such pairs concatenated in some fixed, random order. The best solution would be to provide the code a string of bytes.

letypequividelespoubelles commented 5 days ago

duplicate of #309