#!/bin/bash

set -eo pipefail

cd /home/finesse3

cygdb . -- -q -x docker/gdb-commands --args python docker/example.py -batch
