1 Commits (a79bc5418833ef97ec771c96edd2b2e0f7ea6a63)

Author SHA1 Message Date
Steffen Märcker 36e2804b56 Fix bug: broken test whether all initial states are in same BSCC (fixes #56) 8 years ago