Re: [Spot] command-line option to negate input formula

On Sun, Sep 22, 2019 at 2:17 PM Victor Khomenko <victor.khomenko@newcastle.ac.uk> wrote:

Hi,

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/7f21d3ff29ad3a513f261025c575e4... Any opinion on what passing --negate twice should do? -- Alexandre Duret-Lutz