|
Size: 1456
Comment:
|
← Revision 3 as of 2010-12-02 15:37:27 ⇥
Size: 1514
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
Examples of scripts will be provided in the {{{try/System}}} directory. Below is an example of {{{run}}} script. |
Below is an example of {{{run}}} script for the System Competition. The script pipes input towards the DLV solver (you might replace with your own) and outputs data in the competition format. |
| Line 8: | Line 6: |
| # !/usr/bin/env bash | #!/usr/bin/env bash |
| Line 34: | Line 32: |
| Note that, in the above script, {{{DLV}}} is invoked after a pre-processing perl script. The output of {{{DLV}}} is processed by a perl post-processing script. |
Note that {{{DLV}}} is invoked after a pre-processing perl script. The output of {{{DLV}}} is then processed by a perl post-processing script. |
Below is an example of run script for the System Competition. The script pipes input towards the DLV solver (you might replace with your own) and outputs data in the competition format.
#!/usr/bin/env bash
set -o pipefail # Disable output buffering
if [ $# -ne 3 ]; then
echo "This script must be invoked with three parameters!"
exit
fi
MAXINT=$1
MAX_NESTING_LEVEL=$2 # NOTE: MAX_NESTING_LEVEL is not used in this version of DLV
OUTPUT_PREDICATES=$3
SCRIPTDIR=`dirname $0`
BIN=$SCRIPTDIR/dlv.i386-linux-elf-static.bin
# Execution with preprocessing and postprocessing:
$SCRIPTDIR/preprocess.pl | $BIN -N=$MAXINT -filter=$OUTPUT_PREDICATES -n=1 -silent -- | $SCRIPTDIR/postprocess.pl
ECODE=$?
if [ $ECODE -ne 0 ]; then
echo UNKNOWN;
fi
exit $ECODENote that DLV is invoked after a pre-processing perl script. The output of DLV is then processed by a perl post-processing script. Your binary executable might not require a pre-processing script, in which case the following instruction can be used in the script:
# Execution with postprocessing only: $BIN -N=$MAXINT -filter=$OUTPUT_PREDICATES -n=1 -silent -- | $SCRIPTDIR/postprocess.pl
Similarly, if your binary executable does not require a post-processing script, the following instruction can be used in the script:
# Execution with preprocessing only: $SCRIPTDIR/preprocess.pl | $BIN -N=$MAXINT -filter=$OUTPUT_PREDICATES -n=1 -silent --