Add support for emitting EVM traces. Integrate this feature into the differential tester to automatically compare the traces of all transactions.
crytic
