#!/bin/sh

basedir="$(dirname "$0")"
[ "$(echo "$basedir" | cut -c1)" = '/' ] || basedir="$PWD/$basedir"

echo "Analyzing sources..."
mypy --ignore-missing-imports ./mlplib || exit 1
echo "===="
echo "Running tests..."
python3 -m pytest "$@" "$basedir"