Administrivia: grammar coverage

This commit is contained in:
rocky
2018-03-26 09:16:15 -04:00
parent c8870c6ed8
commit c968e31be8
3 changed files with 31 additions and 33 deletions

View File

@@ -6,7 +6,7 @@ workdir=$(dirname $me)
cd $workdir
workdir=$(pwd)
tmpdir=$workdir/../../tmp/grammar-cover
[[ -d $tmpdir ]] || mkdir $tmpdir
[[ -d $tmpdir ]] || mkdir -p $tmpdir
cd $workdir/../..
source ./admin-tools/setup-master.sh
GRAMMAR_TXT=$tmpdir/grammar-${VERS}.txt

View File

@@ -6,15 +6,13 @@ workdir=$(dirname $me)
cd $workdir
workdir=$(pwd)
tmpdir=$workdir/../../tmp/grammar-cover
[[ -d $tmpdir ]] || mkdir $tmpdir
cd $workdir/../..
source ./admin-tools/setup-master.sh
[[ -d $tmpdir ]] || mkdir -p $tmpdir
(cd $workdir/../.. && source ./admin-tools/setup-master.sh)
GRAMMAR_TXT=$tmpdir/grammar-${VERS}.txt
pyenv local ${VERS}.14
cd ./test
if [[ -r $GRAMMAR_TXT ]]; then
GRAMMAR_SAVE_TXT=${tmpdir}/grammar-${VERS}-save.txt
cp $GRAMMAR_TXT $GRAMMAR_SAVE_TXT
fi
make grammar-coverage-${VERS} && \
spark-parser-coverage --path ${tmpdir}/spark-grammar-${VERS}.cover > $GRAMMAR_TXT
(cd .. && make grammar-coverage-${VERS} && \
spark-parser-coverage --path ${tmpdir}/spark-grammar-${VERS}.cover > $GRAMMAR_TXT)