tools: Add option to dump state-diff in state tests

[rodiazet]

Add new flag --state-diff to evmone test. If used, the execution summary is extended with JSON encoded transaction state diff.

[codecov]

Codecov Report

❌ Patch coverage is 97.46835% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 97.98%. Comparing base (c60dd55) to head (fdd0069).

Files with missing lines	Patch %	Lines
test/utils/statetest_runner.cpp	88.88%	0 Missing and 1 partial ⚠️
tools/evmone/main.cpp	83.33%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1722      +/-   ##
==========================================
- Coverage   97.98%   97.98%   -0.01%     
==========================================
  Files         182      183       +1     
  Lines       16778    16850      +72     
  Branches     3832     3856      +24     
==========================================
+ Hits        16440    16510      +70     
  Misses        250      250              
- Partials       88       90       +2     

Flag	Coverage Δ
eest-develop	81.72% <26.47%> (-0.26%)	⬇️
eest-develop-gmp	25.85% <11.39%> (-0.08%)	⬇️
eest-legacy	17.06% <6.32%> (-0.06%)	⬇️
eest-libsecp256k1	28.04% <11.39%> (-0.09%)	⬇️
eest-stable	81.72% <26.47%> (-0.26%)	⬇️
evmone-unittests	94.41% <97.46%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Components	Coverage Δ
core	95.94% <ø> (ø)
tooling	94.28% <94.11%> (-0.03%)	⬇️
tests	99.81% <100.00%> (+<0.01%)	⬆️

Files with missing lines	Coverage Δ
test/unittests/statediff_export_test.cpp	100.00% <100.00%> (ø)
test/unittests/statetest_runner_test.cpp	100.00% <100.00%> (ø)
test/utils/statetest.hpp	84.61% <ø> (ø)
test/utils/statetest_export.cpp	99.05% <100.00%> (+0.15%)	⬆️
test/utils/test_driver.cpp	98.07% <100.00%> (+0.03%)	⬆️
test/utils/test_driver.hpp	100.00% <ø> (ø)
test/utils/statetest_runner.cpp	98.50% <88.88%> (-1.50%)	⬇️
tools/evmone/main.cpp	96.42% <83.33%> (-0.55%)	⬇️

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[codspeed]

Merging this PR will not alter performance

✅ 129 untouched benchmarks

---

_{Comparing post-state-log-on-master (fdd0069) with master (c60dd55)}

[chfast]

I'd split the two features. the log hash check and output is no-brainer. for the state diff I have some questions.

[rodiazet]

Splited. I make them dependent only because I need to have two changes in one branch. They are independent.

[chfast]

Some general comments:

1. Do you want to use the "standardized" state diff JSON format?
2. I think this should rather go to the summary JSON as dedicated field next to state root hash and logs hash. The --statediff param would force --summary.
3. We are reworking this code to be testable via unit tests: this applies here, but is not required: it's better to pass std::ostream to run_state_test() to be able to capture summary output and test these in unit tests.

[rodiazet]

1. I wanna stay with this evmone format. That one looks kinda overdone.
2. Will merge it with --trace-summary output.
3. Will rewrite the tests if it will be possible.

[rodiazet]

Redone

[Copilot]

Copilot review overview

🟡 Changes recommended

User-facing documentation misidentifies the output stream and overstates the precision of StateDiff.

Get a fresh assessment by requesting another Copilot review.

Review effort: Balanced
Findings: 2

Open (2)

• Remove inaccurate claim that diffs include only modified accounts · New
• Help text reports the wrong output stream · New

What changed in this PR

Adds JSON state-diff reporting to state-test trace summaries.

Changes:

• Serializes transaction StateDiff objects to JSON.
• Emits state diffs after trace summaries.
• Adds export and runner tests.

File	Description
tools/​evmone/​main.cpp	Updates CLI help.
test/​utils/​test_driver.hpp	Documents trace-summary behavior.
test/​utils/​statetest.hpp	Declares StateDiff serialization.
test/​utils/​statetest_runner.cpp	Emits transaction state diffs.
test/​utils/​statetest_export.cpp	Implements JSON serialization.
test/​unittests/​statetest_runner_test.cpp	Updates expected summary output.
test/​unittests/​statediff_export_test.cpp	Tests StateDiff serialization.
test/​unittests/​CMakeLists.txt	Registers the new tests.

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

[Copilot]

Copilot review overview

🟢 Approval recommended

The implementation and coverage are complete, with only a minor capitalization correction noted.

Review effort: Balanced
Findings: 1

Open (1)

• Lowercase “including” in the parenthetical · New

Resolved since last review (2)

• Help text reports the wrong output stream
• Remove inaccurate claim that diffs include only modified accounts

[Copilot]

Copilot review overview

🟢 Approval recommended

The remaining feedback is a non-blocking test-coverage nit for cleared code serialization.

Review effort: Balanced
Findings: None

Resolved since last review (1)

• Lowercase “including” in the parenthetical