Paweł Bylica

Apply mutation testing with mull

5

https://mull.readthedocs.io

- [Fuzzolic](https://season-lab.github.io/fuzzolic/index.html) - [KLEE](http://klee-se.org/docs/) - [CREST](https://www.burn.im/crest/)

For an execution with a very long trace, the trace output file of `evmone-t8n --trace` may be truncated. Some example tests with very long trace can be found in https://github.com/ethereum/execution-spec-tests/pull/1591....

Use test's `.meta/index.json` for test registration

1

EEST's fixtures contains the file `.meta/index.json` with the mapping of the test name to the JSON test file. If a test tool (e.g. `evmone-statetest`) is pointed at a directory and...

Using evmone tooling find state tests having the same StateDiff.

Add `--time` option to `evmone-blockchaintest` which measures the execution of the _last_ block in a test. Print the value to standard output (in the end?). Figure out how to handle...

What to do with EOF implementation?

3

Options: 1. Move to some future EVM revision (e.g. `EVMC_EOF`). 2. Remove.