From e16f502bcf6063eae3c6b4f0dc7de217a2a698e0 Mon Sep 17 00:00:00 2001 From: Joris van Rantwijk Date: Fri, 14 Apr 2023 15:45:26 +0200 Subject: [PATCH] Add script to run tests --- run_checks.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 run_checks.sh diff --git a/run_checks.sh b/run_checks.sh new file mode 100755 index 0000000..c751e85 --- /dev/null +++ b/run_checks.sh @@ -0,0 +1,22 @@ +#!/bin/sh + +set -e + +echo +echo "Running mypy" +mypy --disallow-incomplete-defs python tests + +echo +echo "Running pylint" +pylint --ignore=test_mwmatching.py python tests + +echo +echo "Running test_mwmatching.py" +python3 python/test_mwmatching.py + +echo +echo "Checking test coverage" +coverage erase +coverage run --branch python/test_mwmatching.py +coverage report -m +