replace non-fatal error messages with ASSERT()'s

[model-checker.git] / run.sh

#!/bin/sh

export LD_LIBRARY_PATH=.
./model