Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
neverclaim.cc
Find file
Blame
History
Permalink
* src/tgbaalgos/neverclaim.cc (never_claim_bfs): Do not output
· 16fd8268
Alexandre Duret-Lutz
authored
May 14, 2004
space before colon, and do not output the top-level formula using Spin's syntax.
16fd8268