Tracing/debugging output when evaluating

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Open ggrov opened 10 years ago

ggrov commented 10 years ago

Allow to trace/output results at different levels of evaluation. For a tactic application this should include:

tactic application (with arguments)
number of branches from application
for each branch
- for each goal
- success/failure for each edge
  - possibly success failure for each step of the goal type evaluation