we need an "autdo" command
We need an autdo
command, that works like ltldo
, but for wrapping tools that take automata as input and that (possibly) produce automata.
The input option of autdo
should be the same as those of autcross
(which also call tools that read automata), but the rest of the feature and options should be similar to what ltldo
provides (e.g., ability to output the smallest or largest output from multiple tools, changing the output format, killing the called tools on timeout...)