From 17bbef6ccebf246f0cfa8f343943d1a024aad8d2 Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Mon, 24 Apr 2017 14:03:04 +0200
Subject: [PATCH] Check that automata produced by ks_cobuchi are state-based.

* tests/python/gen.py: implement the check.
---
 tests/python/gen.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/python/gen.py b/tests/python/gen.py
index ec3843464..cb536ca42 100644
--- a/tests/python/gen.py
+++ b/tests/python/gen.py
@@ -25,6 +25,7 @@ import spot.gen as gen
 from sys import exit
 
 k2 = gen.ks_cobuchi(2)
+assert k2.prop_state_acc()
 assert k2.num_states() == 5
 # to_str is defined in the spot package, so this makes sure
 # the type returned by spot.gen.ks_cobuchi() is the correct one.