Hi,

I think there is a bug in the manual of ltlcross. There is the paragraph

If the translator produced a Streett or Rabin automaton, these columns contains the size of a TGBA (or BA) produced by ltlcross from that Streett or Rabin automaton. Check in_states, in_edges, in_transitions,

and in_acc for statistics about the actual input automaton.

which seems no longer to be valid as I have no such columns in the output files created by ltlcross v. 2.4.4.

Best,

Fanda Blahoudek