Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
python
formulas.ipynb
Find file
Blame
History
Permalink
print_dot_psl: fix numbering of commutative operands
· 98c8725d
Alexandre Duret-Lutz
authored
Dec 17, 2018
* spot/tl/dot.cc: Here. * tests/python/formulas.ipynb: Add test case. * NEWS: Mention the bug.
98c8725d