From 00c3271c72ade304643c3c5e608b9eaf783fbc72 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 18 May 2018 17:45:16 +0200
Subject: [PATCH] python: tests exceptions raised by is_weak_scc() and friends

* tests/python/except.py: Here.
---
 tests/python/except.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/python/except.py b/tests/python/except.py
index d8b50af27..710b43575 100644
--- a/tests/python/except.py
+++ b/tests/python/except.py
@@ -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: