data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Charlie fails to export all siphons
Created:
2011-05-03 12:47
Status:
Closed
Category:
Bug
Assigned:
Priority:
4
Program:
Charlie
Version:
Description:
It can happen that Charlie calculates siphons that are not exported.
It can happen that Charlie calculates siphons that are not exported.
Setup: load file -> IM-based analysis -> siphon -> stp -> export siphons
and Setup: load file -> IM-based analysis -> siphon -> stp -> create all -> export siphons
leads to different results.
Comments
This bug seems to be a duplicate of Bug #26.
The difference can be explained with a misleading output when "create all" is not selected.
Thus this bug is considered to be resolved.
<< 00017 | CharlieBugList | 00019 >>