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

zlktree: fix a bug

Browse source 
Reported by Florian.

* spot/twaalgos/zlktree.cc: Handle the case where the condition does
not cover all colors.
* tests/python/zlktree.py: New file.
* tests/Makefile.am: Add it.
This commit is contained in:
Alexandre Duret-Lutz 2021-09-08 15:15:08 +02:00
parent ceec447617
commit 4ed5160fb8
3 changed files with 32 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/Makefile.am
View file

@ -450,6 +450,7 @@ TESTS_python = \
python/twagraph.py \
python/toweak.py \
python/_word.ipynb \
python/zlktree.py \
$(TESTS_ipython)
endif