test

loading
details
attribute current value
name test
description no description
owning solver TCT2 - 2014
contents
#!/bin/bash

PROGRAM="LD_LIBRARY_PATH=../lib ./tct $1"

eval $PROGRAM
echo to execute: $PROGRAM
echo ldd:
ldd ./tct
echo param1: $1
echo outdir: $STAREXEC_OUT_DIR
echo wallclocklimit: $STAREXEC_WALLCLOCK_LIMIT
echo cpu limit: $STAREXEC_CPU_LIMIT
echo max mem: $STAREXEC_MAX_MEM
echo max write: $STAREXEC_MAX_WRITE

back to TCT2 - 2014