rplint
can now be run using new rplint.sh
script which has interface similar to the *_run.sh
scripts.
Example: ./rplint.sh -n 4 -k "iter_" --scenarios=sets/resolver
will run rplint
with 4 workers on all rpl files from sets/resolver
folder with substring iter_
in its name.
This uses pytest
internally so refer to its documentation about command-line arguments.