FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Tactics: if dump_on_failure is true, do not add Tactic failed prefix

Open mtzguido opened this issue 1 year ago • 0 comments
trafficstars

For tactics that handle their own errors, i.e. those which call set_dump_on_failure false, do not a "Tactic failed" prefix. This includes tcresolve and the pulse checker.

mtzguido avatar Apr 29 '24 22:04 mtzguido