#!/bin/bash

# Run integration tests
(cd tests/gdb-tests && python3 tests.py $@)

# Run unit tests
# coverage run -m pytest tests/unit-tests