Logo

bugs

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Summary: Output when calculating siphons is misleading
Created: 2011-05-12 21:17
Status: Closed
Category: Bug
From: wegener?
Assigned:
Priority: 3
Program: Charlie
Version:
Description:
When one computes the STP then the output says that "x minimal siphons computed" but one cannot be sure that those computed siphons are minimal unless one computes all siphons (i.e., if the checkbox "create all" is selected).

Please correct the output.


Comments


<< 00025 | CharlieBugList | 00027 >>

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy