[model-checker.git] / run.sh

#!/bin/sh
export LD_LIBRARY_PATH=.
./model