Closed a-ludi closed 4 years ago
Actually, it does. There is a line X # that occurs once in the header, where # is the trace spacing. -- Gene
On 9/30/19, 3:00 PM, Arne wrote:
I am using the trace points in my program but |LAdump| does not output the trace point spacing therefore I have to "guess", e.i. the user has to supply a non-default value manually. This is prone to errors and makes the user interface more complex than necessary. So I propose to output the value in the dump either (1) as an additional header line or (2) as an additional column of |T| lines.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/thegenemyers/DALIGNER/issues/89?email_source=notifications&email_token=ABUSINW424IBG2QRORXPGCLQMHZ75A5CNFSM4I32SO22YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HORMOBA, or mute the thread https://github.com/notifications/unsubscribe-auth/ABUSINWE7F3UOJ3CJVOFXV3QMHZ75ANCNFSM4I32SO2Q.
Oh, that's very cool. I did not realize because it was a rather recent change.
I am using the trace points in my program but
LAdump
does not output the trace point spacing therefore I have to "guess", e.i. the user has to supply a non-default value manually. This is prone to errors and makes the user interface more complex than necessary. So I propose to output the value in the dump either (1) as an additional header line or (2) as an additional column ofT
lines.