Skip to content

Let 'a' be a default for --dot

Since we support acceptance conditions that are more complex that the generalized-Büchi acceptance we used to support (pre 2.0), it makes more sense to always display the acceptance condition of the automaton. Having to pass a to the print_dot() function or to the --dot option is quite tedious.

In Spot 2.4, we introduced option A as the negation of a, so in Spot 2.6 it should be safe to change print_dot() so that a is now the default. Users who focus on Büchi or generalized-Büchi and do not care about the acceptance condition can start to use A and be backward-compatible down to 2.4.

Edited by Alexandre Duret-Lutz