autcross --tool="...%M..."
I'd like to be able to use %M
, the name of the input automaton, in the command specifications of autcross
. One use case is something like
genltl --dac | ltl2tgba | autcross "autfilt --somealgo %H>%O" "ltl2tgba '%M' >%O"
where one of the tool passed to autcross computes the output automaton based on the input name.