Skip to content

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.