-
Alexandre Duret-Lutz authored
* spot/tl/dot.cc: Show the min/max argument for Star/FStar nodes. * tests/python/formulas.ipynb: Adjust test.
3c5928d2
* spot/tl/dot.cc: Show the min/max argument for Star/FStar nodes. * tests/python/formulas.ipynb: Adjust test.