24 Sep
2019
24 Sep
'19
11:09 a.m.
Could you add
a command-line option for ltl2tgba to invert the input
formula before computing the automaton?
Done.
https://gitlab.lrde.epita.fr/spot/spot/commit/7f21d3ff29ad3a513f261025c5
75e4676a14cc50
Any opinion on what passing --negate twice should do?
A really good and nerdy one - twice the smiley face! :-) :-)
Cheers,
Victor.
1961
days inactive
1961
days old
0 comments
1 participants
participants (1)
-
Victor Khomenko