6 Sep
2017
6 Sep
'17
2:11 p.m.
Hi,
the manual says in the section DESCRIPTION: The list of automata to use should be supplied on standard input, or using the -f or -F options.
However, the tool knows no -f option.
Fanda