Skip to content

Support multiple steps in `PureExec`.

Robbert Krebbers requested to merge robbert/pure_exec_nsteps into master

The title says it all.

This will be useful in !175 (merged), but I expect it also to be of independent interest.

Merge request reports