loat_nonterm_debug

loading
details
attribute current value
name loat_nonterm_debug
description no description
owning solver LoAT IJCAR 22!
contents
#!/bin/bash
trap "" SIGRTMIN
TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 3`
./loat-static --plain --timeout $TO --mode non_termination $1

back to LoAT IJCAR 22!