1 Commits (4ec20a4e34a5b201b9ef1eb3107443bfcdf510ff)

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