#!/bin/bash

. params.sh

EOUTPUT=${OUTPUT}${LABEL}
mkdir -p ${EOUTPUT}

SVDIR="${EOUTPUT}/end-metrics"
git --git-dir=lazylav/.git rev-parse --verify HEAD > ${EOUTPUT}/lazylav.txt

java -Dlog.level=INFO -cp ${JPATH}:logback.xml \
    fr.inria.exmo.lazylavender.engine.ExperimentalPlan \
    ${OPT} \
    -DsaveDir=${SVDIR} \
    -DresultDir=${EOUTPUT}