Bug in the non-determinism checker
as discussed few minutes ago, the bug is in the model attached. The component is shown in the screenshot.
(from redmine: issue id 1501, created on 2013-07-18, closed on 2013-08-07)
- Uploads:
as discussed few minutes ago, the bug is in the model attached. The component is shown in the screenshot.
(from redmine: issue id 1501, created on 2013-07-18, closed on 2013-08-07)