Skip to content

GitLab

Closed
Created by Alexandre Duret-Lutz@adlOwner

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information