Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
hoa.cc
Find file
Blame
History
Permalink
print_hoa: add support for universal branches
· 56df459c
Alexandre Duret-Lutz
authored
Nov 24, 2016
* spot/twaalgos/hoa.cc: Implement it. * tests/python/alternating.py: Test it.
56df459c