ttt2_cert

loading
details
attribute current value
name ttt2_cert
description no description
owning solver TTT2
contents
#! /bin/sh
DIR=$(dirname $0)
TX=`if [ -z $2 ]; then echo "60"; else echo $2; fi;`
TO=`if [ -z $STAREXEC_WALLCLOCK_LIMIT ]; then echo $TX; else echo "$STAREXEC_WALLCLOCK_LIMIT"; fi;`
a=$(expr $TO \- 5);
TO2=`if [ $a -le 5 ]; then echo "$TO"; else echo "$a"; fi;`
export OCAMLRUNPARAM=${OCAMLRUNPARAM:-s=96k}
if [ -z "$1" ]; then
  echo "Usage: $0 <file> [timeout]"
elif [ -e "$DIR/starexec_run_ttt2_cert" ]; then
  exec $DIR/ttt2 -s COMP -c $DIR/comp.conf -cpf -ext xml "$@"
elif [ -e Makefile ]; then
  echo "Type 'make help' to get compilation instructions."
else
  echo "Could not find $DIR/starexec_run_ttt2_cert and this does not look like a source archive."
  echo "Giving up."
fi

back to TTT2