Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 402267

Summary:	[abstractexec] reachability check produces false negatives for data driven state machines
Product:	[Modeling] eTrice	Reporter:	Henrik Rentz-Reichert <hrr>
Component:	Core	Assignee:	Project Inbox <etrice.core-inbox>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	juergen.haug
Version:	0.2.0	Keywords:	helpwanted
Target Milestone:	0.3.0
Hardware:	PC
OS:	Windows 7
Whiteboard:	0.3.0 consolidation

Description Henrik Rentz-Reichert

2013-03-04 02:34:18 EST

For datadriven and async (mixed data driven and event driven) state machines the reachability check doesn't take into account the data driven guarded transitions.
So states that can be reached only following those transitions are marked as unreachable.

Comment 1 Henrik Rentz-Reichert

2013-03-04 02:46:15 EST

replaced ep in whiteboard with helpwanted keyword

Comment 2 Henrik Rentz-Reichert

2013-03-11 08:28:35 EDT

Fixed with 21daa0d85fda2895ce24bc43d3a6f8f8ca16ffd4.

Comment 3 Henrik Rentz-Reichert

2013-04-18 02:29:03 EDT

added consolidation to whiteboard to allow association with project plan