mbeddr.core icon indicating copy to clipboard operation
mbeddr.core copied to clipboard

Trace information is not correctly saved for epsilon transitions

Open danielratiu opened this issue 10 years ago • 2 comments

  1. Create a SM with epsilon transitions - e.g. http://localhost:8080/select/com.mbeddr.analyses/r:502ce762-1afc-4b7e-9144-0e69dffc9737/2338872074722191255/

  2. generate C code

3) in trace.info, for the lines corresponding to the self-trigger we have nodeId the entire implementation-module

static inline void TestEpsilon_EpsilonSM_S5_S5A_EntryAction1(struct TestEpsilon_sm_data_EpsilonSM* instance) { TestEpsilon_sm_execute_EpsilonSM(instance, TestEpsilon_sm_events_EpsilonSM__EpsilonSM__event____epsilon, 0);

}

for this call we get:

<nodeInfo nodeId="2338872074722191253" fileName="TestEpsilon.c" startLine="118" startPosition="2 ...

where 2338872074722191253 is the entire implementation module

danielratiu avatar May 26 '14 08:05 danielratiu