#!/usr/bin/env sh

python -m esbmc_ai $@
