alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

python: tests exceptions raised by is_weak_scc() and friends

Browse source 
* tests/python/except.py: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-05-18 17:45:16 +02:00
parent 2f8ae55f6b
commit 00c3271c72
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tests/python/except.py
View file

@ -53,6 +53,13 @@ try:
except ValueError as e:
assert """unexpected '=' at position 3""" in str(e)
si = spot.scc_info(aut)
for meth in ('scc_has_rejecting_cycle', 'is_inherently_weak_scc',
'is_weak_scc', 'is_complete_scc', 'is_terminal_scc'):
try:
getattr(spot, meth)(si, 20)
except ValueError as e:
assert "invalid SCC number" in str(e)
si = spot.scc_info(alt)
try: