Skip to content

Safe tactic calls for `Restate`

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/rewrite-tactic-checks into main

Added unwrapTactic calls to Restate, as before this it had raw calls to kernel tactics, which subsequently raised kernel errors whenever it failed.

Also added RewriteTrue as a BasicStepTactic, since it didn't exist before, and was required for this.

Merge request reports