6 Oct
2020
6 Oct
'20
1:59 p.m.
Hi!
I’m currently using Spot to manipulate LTL formulas (using Python) and encountered the following behaviour: The result of "spot.formula.Or([x,y])” possibly changes the order of the subformulas, e.g. globally will appear in front of finally. Is there a way to build formulas that stick to the given order?
Best and thanks in advance Niklas