Closed rv-jenkins closed 4 years ago
We should probably also chop the execution traces to only include the rules after the named_call rule has fired, because it's not actually part of the wasm semantics and so we don't want to include it in the summaries of execution @hjorthjort
named_call
We should probably also chop the execution traces to only include the rules after the
named_callrule has fired, because it's not actually part of the wasm semantics and so we don't want to include it in the summaries of execution @hjorthjort