You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Instead of the exoticity (?) levels, it would probably be more useful to compute the percentage of scripts that are covered by a given set of commands. This set could be given directly on the command line,
or in a file (similar to the specification of commands).
The text was updated successfully, but these errors were encountered:
Instead of the exoticity (?) levels, it would probably be more useful to compute the percentage of scripts that are covered by a given set of commands. This set could be given directly on the command line,
or in a file (similar to the specification of commands).
The text was updated successfully, but these errors were encountered: