Tactics: restoring ID info table on a failure

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

Closed mtzguido closed 3 months ago

mtzguido commented 3 months ago

This fixes the error I mentioned about F*/Pulse crashing on a tactic failure (https://github.com/FStarLang/pulse/issues/176). Does this make sense to you Nik?

nikswamy commented 3 months ago

Yes indeed! Nice catch