#! /usr/bin/env bash
_build/default/tests/test_alcotest.exe "$@"
