#!/bin/sh
OPENJML=/usr/local/openjml
Z3=/usr/local/z3-4.3.2-x64-win/bin/z3.exe
# java -cp `cygpath -m $OPENJML/openjml.jar` org.jmlspecs.openjml.Main -exec `cygpath -m $Z3` -esc "$@"
java -cp `cygpath -m $OPENJML/openjml.jar` org.jmlspecs.openjml.Main -esc "$@"
# java -cp $OPENJML/openjml.jar org.jmlspecs.openjml.Main -exec $Z3 -esc "$@"