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

make sure --dot=Bb is the same as --dot=b

Browse source 
* NEWS: Mention the fixed bug.
* src/twaalgos/dot.cc: Fix.
* wrap/python/tests/decompose.ipynb: Use it.
This commit is contained in:
Alexandre Duret-Lutz 2015-11-13 17:50:12 +01:00
parent 5a7abe8582
commit d23eaec7ef
3 changed files with 463 additions and 460 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/twaalgos/dot.cc
View file

@ -119,6 +119,7 @@ namespace spot
break;
case 'b':
opt_bullet = true;
opt_bullet_but_buchi = false;
break;
case 'B':
opt_bullet = true;