summary: Check basic command line options discover: how: shell execute: script: tests/run_tests.sh