1 Commits (d6bc3101a8567fd25eb51a9a10b1f840512f304d)

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