#!/bin/bash

set -o pipefail

PIPE=$1
MAXINT=$2
MAX_NESTING_LEVEL=$3
OUTP="$4"
SCRIPTDIR=`dirname $0`

EXITCODE=0
read line

if [ $line -eq 0 ]; then
  #"Gringo+WASP2"
  $SCRIPTDIR/runWasp2 $MAXINT $MAX_NESTING_LEVEL $OUTP  < $PIPE
  EXITCODE=$?
else
  #"DLV+WASP1"
  $SCRIPTDIR/runWasp1 $MAXINT $MAX_NESTING_LEVEL $OUTP  < $PIPE
  EXITCODE=$?
fi

rm $PIPE
exit $EXITCODE
