#!/bin/sh

MC=edu.toronto.cs.modelchecker.MvSetModelChecker
JAVAOPT=-Dlogger.file.name=$ROOT/log-cfg/xbel.log.cfg
$JAVA $JAVAOPT $MC "$@"