#!/bin/bash # Run script for SMTInterpol for the STAREXEC cluster if [ "$#" -gt 1 ]; then # ignore bogus parameters given by starexec set -- "$1" fi java -Xms1536m -Xmx50g -da -dsa -jar smtinterpol.jar -q -o continue-on-error=false -o proof-check-mode "$@" 2>/dev/null