Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community ForumsStatement-level trace and TPTP
https://www.eclipse.org/forums/index.php/mv/msg/26798/86922/#msg_86922
Originally posted by: tsandnes.norway.atmel.com
Hi!
I am working on adding statement-level trace to eclipse.
Having looked into the profiling/Execution flow/trace mechanisms of
TPTP, it seems to me that this is not currently supported.
Can anybody confirm that statement-level trace functionality is not
present in the current TPTP implementation (4.2)?
Does anybody know if there are plans to add this to TPTP? (Or any other
eclipse project?)