Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#247
incorrect output of genltl
% ./genltl --r-left=10 --format=%F
or-r-left