#!/bin/bash trap "" SIGRTMIN TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 3` ./loat-static --plain --timeout $TO --mode non_termination $1 2> /dev/null
