-
Alexandre Duret-Lutz authored
* wrap/python/spot.i (cosimulation, iterated_simulations): Declare. * wrap/python/ajax/spot.in, wrap/python/ajax/protocol.txt, wrap/python/ajax/ltl2tgba.html: Add options to trigger these two optimizations.
74bd6713
* wrap/python/spot.i (cosimulation, iterated_simulations): Declare. * wrap/python/ajax/spot.in, wrap/python/ajax/protocol.txt, wrap/python/ajax/ltl2tgba.html: Add options to trigger these two optimizations.