spot/gen/automata.cc · b4963a7a6ce1d83207d84f603f8296dc30b555e1 · Spot / Spot

Oct 11, 2017

Alexandre Duret-Lutz authored Oct 11, 2017

* spot/gen/automata.cc (ks_nca): The output is complete.
* tests/core/genaut.test: Add test.
* NEWS: Mention the bug.

b4963a7a

Alexandre Duret-Lutz authored Oct 11, 2017

* spot/gen/automata.cc (ks_nca): The output is complete.
* tests/core/genaut.test: Add test.
* NEWS: Mention the bug.