Make run_tests.sh re-run a subset of the tests w/o coverage
authorScott <[email protected]>
Mon, 31 Jan 2022 17:02:59 +0000 (09:02 -0800)
committerScott <[email protected]>
Mon, 31 Jan 2022 17:02:59 +0000 (09:02 -0800)
commitf65e30c79a4425a5ec49f4785c44655d59986ca6
treefe379a3565dfddfb779b794ea573cd2a20d265f1
parentf77068f0dc494d9394cdacafc6f719730926839f
Make run_tests.sh re-run a subset of the tests w/o coverage
instrumentation even in --coverage mode.
tests/run_tests.sh