1 commit

Author	SHA1	Message	Date
Alexandre Duret-Lutz	699f21b9af	product_susp: fix product of state-based automata ... Reported by Simon Jantsch. * spot/twaalgos/product.cc: Here. * tests/core/unambig2.test: New file, testing this plus the previous patch. * tests/Makefile.am: Add unambig2.test. * NEWS: Mention the bug.	2019-02-02 14:41:22 +01:00