alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

product: fix handling of operand with false acceptance

Browse source 
* NEWS: Mention the issue.
* spot/twaalgos/product.cc: Fix it.
* tests/python/prodexpt.py: Test it.
This commit is contained in:
Alexandre Duret-Lutz 2020-03-06 23:23:13 +01:00
parent fa90a97d54
commit 5b8dbc6549
3 changed files with 73 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

7
NEWS
View file

@ -2,6 +2,13 @@ New in spot 2.8.6.dev (not yet released)
Nothing yet.
Bugs fixed:
- Building a product between two complete automata where one operand
had false acceptance could create a incomplete automaton
incorrectly tagged as complete, causing the print_hoa() function
to raise an exception.
New in spot 2.8.6 (2020-02-19)
Bugs fixed: