pierreganty@gmail.com writes:
I did not find how to get the number of states (reachable or not) of an automaton using autfilt (in particular the `--stats` option). The option provided by `autfilt --stats` is for reachable states only.
Hi Pierre Thank you for the suggestion. Here is what you can now do with the latest development version [*]. Create a test automaton with an edge labeled by false in the middle: $ ltl2tgba 'X[10]a' | sed '/State: 4/,/State: 5/s/\[t\]/[f]/' > test.hoa Display count of [r]eachable, [u]unreachable, and [a]ll states: $ autfilt --stats='%[r]s + %[u]s = %[a]s' test.hoa 7 + 5 = 12 The same syntax will work for %e and %t as well. Best regards, Alexandre [*] https://gitlab.lre.epita.fr/spot/spot/-/jobs/artifacts/next/browse?job=make-...