#!/bin/sh export PATH=`pwd`:$PATH # (set-option [...]) leads to parse error with message "line [...]" # on stderr java -Xmx20000m -jar aprove.jar -d diologic -m smtlib $1 2> /dev/null