| Statement-level trace and TPTP [message #86922] |
Mon, 13 November 2006 08:02 |
|
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?)
Thanks,
Torleif Sandnes
|
|
|
Powered by
FUDForum. Page generated in 0.01351 seconds