Logo

bugs

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Summary: Add option to calculate "bad siphons" only
Created: 2011-05-03 12:31
Status: Closed
Category: Feature
From: wegener?
Assigned:
Priority: 5
Program: Charlie
Version:
Description:
Please add an option to compute "bad siphons" only (IM-based analysis).

Comments


<< 00015 | CharlieBugList | 00017 >>

… the end …

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