FStar
FStar copied to clipboard
Tactics: if dump_on_failure is true, do not add Tactic failed prefix
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.