Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlfilt.cc
Find file
Blame
History
Permalink
bin/ltlfilt: Use is_persistence() and is_recurrence()
· 96974f7c
Alexandre GBAGUIDI AISSE
authored
Jul 28, 2017
* bin/ltlfilt.cc: Use them.
96974f7c