Skip to content

--stats=%P does not work

% ltl2tgba 'GFa' 'FGa' | autfilt --stats='%P'
10
10
% ltl2tgba 'GFa' 'FGa' | autfilt --stats='%P %p'
1 1
0 0

The first comment should print 1 0 instead of 10 10. I think the code wrongly check %p instead of %P.