mbeddr.core
mbeddr.core copied to clipboard
Trace information is not correctly saved for epsilon transitions
-
Create a SM with epsilon transitions - e.g. http://localhost:8080/select/com.mbeddr.analyses/r:502ce762-1afc-4b7e-9144-0e69dffc9737/2338872074722191255/
-
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