|Statement-level trace and TPTP [message #86922]
||Mon, 13 November 2006 13:02
Originally posted by: tsandnes.norway.atmel.com|
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
Powered by FUDForum
. Page generated in 0.01666 seconds