--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
.
% 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
.