Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
tests
ltlsimple.py
Find file
Blame
History
Permalink
python: implement the map and transform functions for formulas
· fad05632
Alexandre Duret-Lutz
authored
Sep 27, 2015
* wrap/python/spot.py: Implement them. * wrap/python/tests/ltlsimple.py: New tests.
fad05632