Commit 60fb7b9f authored by Sébastien Piat's avatar Sébastien Piat
Browse files

tests: check for accessible before calling isomorphic

Avoid errors on tests.

* tests/bin/ Here.
parent 952a1053
......@@ -162,7 +162,10 @@ def CHECK_EQ(expected, effective, loc=None):
if aut:
expaut = automaton(expected)
effaut = automaton(effective)
if expaut.is_isomorphic(effaut):
if not effaut.is_accessible():
msg += (" (different, but cannot check whether isomorphic"
", as is not accessible)")
elif expaut.is_isomorphic(effaut):
msg += ' (different but isomorphic)'
msg += ' (different and not even isomorphic)'
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment