tct_c

#!/bin/bash

# basic variables
executable=tct-its
gtimeout=$(( $STAREXEC_WALLCLOCK_LIMIT - 2 ))  # TcT timeout
ptimeout=$(( $STAREXEC_WALLCLOCK_LIMIT - 3 ))  # Processor timeout
cores=4                                        # number of cpu cores
memlimit=${STAREXEC_MAX_MEM}M                  # maximal memory in megabyte
stacksize=32M                                  # stacksize of program
export LD_LIBRARY_PATH=../lib:$LD_LIBRARY_PATH
export PATH=.:$PATH

program="./$executable
  -t $ptimeout
  -s competition
  $1.koat
  +RTS
  -N$cores
  -M$memlimit
  -K$stacksize
  -RTS"
#echo $program

./clang -c  $1 -emit-llvm -o $1.bc
./llvm2kittel $1.bc -uniform-complexity-tuples > $1.koat
sed -i 's/\./X/g' $1.koat
eval $program