<commit_before>#!/bin/sh
# Tests based on verification of synthesis output.
#
#
# SCL; 2016

set -e

BUILD_ROOT=..
TESTDIR=tests
PREFACE="============================================================\nERROR:"

SPINVER=6.4.5


if test -z $VERBOSE; then
    VERBOSE=0
fi

SPINEXE=${BUILD_ROOT}/extern/src/Spin/Src${SPINVER}/spin
if test $VERBOSE -eq 1; then
    ${SPINEXE} -V
fi

REFSPECS="trivial_2var.spc free_counter.spc count_onestep.spc"
for REFSPC in `echo $REFSPECS`; do
    if test $VERBOSE -eq 1; then
        echo "\nConstructing strategy for ${TESTDIR}/specs/${REFSPC}"
        echo "\tgr1c -t aut ${TESTDIR}/specs/${REFSPC} > ${REFSPC}.aut"
    fi
    $BUILD_ROOT/gr1c -t aut specs/${REFSPC} > ${REFSPC}.aut
    if test $VERBOSE -eq 1; then<commit_msg>Add another ref for model-checking based testing<commit_after>#!/bin/sh
# Tests based on verification of synthesis output.
#
#
# SCL; 2016

set -e

BUILD_ROOT=..
TESTDIR=tests
PREFACE="============================================================\nERROR:"

SPINVER=6.4.5


if test -z $VERBOSE; then
    VERBOSE=0
fi

SPINEXE=${BUILD_ROOT}/extern/src/Spin/Src${SPINVER}/spin
if test $VERBOSE -eq 1; then
    ${SPINEXE} -V
fi

REFSPECS="trivial_2var.spc free_counter.spc count_onestep.spc trivial_mustblock.spc"
for REFSPC in `echo $REFSPECS`; do
    if test $VERBOSE -eq 1; then
        echo "\nConstructing strategy for ${TESTDIR}/specs/${REFSPC}"
        echo "\tgr1c -t aut ${TESTDIR}/specs/${REFSPC} > ${REFSPC}.aut"
    fi
    $BUILD_ROOT/gr1c -t aut specs/${REFSPC} > ${REFSPC}.aut
    if test $VERBOSE -eq 1; then
{'fraction_non_alphanumeric': 0.21025965801139962, 'fraction_numerical': 0.01773274224192527, 'mean_word_length': 3.876543209876543, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1653186', 'n_tokens_mistral': 631, 'n_tokens_neox': 603, 'n_words': 148}