2 commits

Author	SHA1	Message	Date
Maximilien Colange	17bbef6cce	Check that automata produced by ks_cobuchi are state-based. ... * tests/python/gen.py: implement the check.	2017-04-24 14:03:04 +02:00
Alexandre Duret-Lutz	f185aabf44	python: add wrapper for libspotgen ... For #254. * python/spot/gen.i, tests/python/gen.py: New files. * python/Makefile.am, tests/Makefile.am: Adjust. * NEWS: Mention the spot.gen python package.	2017-04-23 17:24:23 +02:00