Commit 07f2aad3 authored by Nicolas Barray's avatar Nicolas Barray Committed by Akim Demaille
Browse files

test: add check_is_acyclic

Add the CHECK_IS_ACYCLIC function to check zpc post-construction property.

* tests/bin/test.py: Here.
parent a304eb6d
......@@ -198,6 +198,15 @@ def CHECK_ISOMORPHIC(a1, a2):
rst_file("Right automaton", a2)
rst_diff(a1, a2)
def CHECK_IS_EPS_ACYCLIC(a):
"Check if `a` is epsilon acyclic."
if a.is_eps_acyclic():
PASS()
else:
a = format(a)
FAIL("automata is not epsilon acyclic")
rst_file(a)
def PLAN():
"TAP requires that we announce the plan: the number of tests."
print('1..'+str(count))
......
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