ea9d894d016b147e7de15b42e87cfe562f3991b3 to 699f21b9aff29fb0f05d2cb2f6300ea08c0699bb · Spot / Spot

Commits on Source 2

ltl2tgba_fm: don't tag weak automata if unambiguous is used · d4203c8a

Alexandre Duret-Lutz authored Feb 02, 2019

Part of a bug reported by Simon Jantsch.  Test cases in next patch.

* spot/twaalgos/ltl2tgba_fm.cc: Here.
* NEWS: Mention the bug.

d4203c8a

product_susp: fix product of state-based automata · 699f21b9

Alexandre Duret-Lutz authored Feb 02, 2019

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.

699f21b9