test: add tests and linting

Author: danielknell

.devcontainer/Dockerfile

@@ -22,7 +22,7 @@ RUN if [ "${INSTALL_NODE}" = "true" ]; then su vscode -c "umask 0002 && . /usr/l
 # RUN su vscode -c "source /usr/local/share/nvm/nvm.sh && npm install -g <your-package-here>" 2>&1
 
 USER vscode
-ENV PATH="~/.poetry/bin:$PATH" \
+ENV PATH="/home/vscode/.poetry/bin:$PATH" \
     POETRY_VIRTUALENVS_IN_PROJECT="true"
 
 RUN curl -sSL https://raw.githubusercontent.com/python-poetry/poetry/master/get-poetry.py | python -

.devcontainer/devcontainer.json

@@ -5,43 +5,45 @@
 	"build": {
 		"dockerfile": "Dockerfile",
 		"context": "..",
-		"args": { 
+		"args": {
 			// Update 'VARIANT' to pick a Python version: 3, 3.6, 3.7, 3.8, 3.9
 			"VARIANT": "3.9",
 			// Options
 			"INSTALL_NODE": "false",
 			"NODE_VERSION": "lts/*"
 		}
 	},
-
 	// Set *default* container specific settings.json values on container create.
-	"settings": { 
+	"settings": {
 		"terminal.integrated.shell.linux": "/bin/bash",
-		"python.pythonPath": "/usr/local/bin/python",
+		"editor.formatOnSave": true,
+		"python.pythonPath": ".venv/bin/python",
 		"python.linting.enabled": true,
+		"python.linting.lintOnSave": true,
+		"python.linting.mypyEnabled": true,
 		"python.linting.pylintEnabled": true,
-		"python.formatting.autopep8Path": "/usr/local/py-utils/bin/autopep8",
-		"python.formatting.blackPath": "/usr/local/py-utils/bin/black",
-		"python.formatting.yapfPath": "/usr/local/py-utils/bin/yapf",
-		"python.linting.banditPath": "/usr/local/py-utils/bin/bandit",
-		"python.linting.flake8Path": "/usr/local/py-utils/bin/flake8",
-		"python.linting.mypyPath": "/usr/local/py-utils/bin/mypy",
-		"python.linting.pycodestylePath": "/usr/local/py-utils/bin/pycodestyle",
-		"python.linting.pydocstylePath": "/usr/local/py-utils/bin/pydocstyle",
-		"python.linting.pylintPath": "/usr/local/py-utils/bin/pylint"
+		"python.linting.pydocstyleEnabled": true,
+		"python.linting.mypyPath": ".venv/bin/mypy",
+		"python.linting.pydocstylePath": ".venv/bin/pydocstyle",
+		"python.linting.pylintPath": ".venv/bin/pylint",
+		"python.testing.pytestEnabled": true,
+		"python.testing.pytestArgs": [
+			"tests"
+		],
+		"python.formatting.blackPath": ".venv/bin/black",
+		"editor.codeActionsOnSave": {
+			"source.organizeImports": true
+		},
 	},
-
 	// Add the IDs of extensions you want installed when the container is created.
 	"extensions": [
-		"ms-python.python"
+		"ms-python.python",
+		"ms-python.vscode-pylance",
 	],
-
 	// Use 'forwardPorts' to make a list of ports inside the container available locally.
 	// "forwardPorts": [],
-
 	// Use 'postCreateCommand' to run commands after the container is created.
 	// "postCreateCommand": "pip3 install --user -r requirements.txt",
-
 	// Comment out connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root.
 	"remoteUser": "vscode"
-}
+}

.vscode/settings.json

@@ -0,0 +1,34 @@
+# do any initial setup
+setup:
+	poetry install
+
+# commands to run after git update
+update:
+	poetry install
+
+# commands as run by CI
+ci: lint
+	HYPOTHESIS_PROFILE=slow poetry run pytest -vv --cov
+
+# launch the interpreter in repl mode
+repl:
+	poetry run python
+
+lint:
+	poetry run isort --check-only .
+	poetry run black --check .
+	poetry run pydocstyle
+	poetry run pylint src/conjecture
+	poetry run pylint --disable=missing-function-docstring,duplicate-code tests
+	poetry run mypy --strict  --pretty .
+
+# run the tests  locally
+test:
+	poetry run pytest --testdox --cov --cov-report html
+
+# automatically format codebase to pass linting rules
+format:
+	poetry run isort --atomic .
+	poetry run black .
+
+.PHONY: setup update ci repl test format