--stats=%P does not work
% ltl2tgba 'GFa' 'FGa' | autfilt --stats='%P'
10
10
% ltl2tgba 'GFa' 'FGa' | autfilt --stats='%P %p'
1 1
0 0The first comment should print 1 0 instead of 10 10. I think the code wrongly check %p instead of %P.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information