<commit_before>#!/bin/bash

REPORTDIR=$PWD/..
OUT=$REPORTDIR/nightly-bench.out
PREVIOUS=$REPORTDIR/nightly-bench.previous
DIFF=$REPORTDIR/nightly-bench.diff
REPORT=$REPORTDIR/nightly-bench.report
DATE=`date --utc +%Y-%m-%d`

SUBJECT="Why3 nightly bench:"

notify() {
    # mail -s "$SUBJECT" <EMAIL> < $REPORT
    # mail -s "$SUBJECT" <EMAIL> < $REPORT
    cat $REPORT
    exit 0
}


echo "== Why3 bench on $DATE ==" > $REPORT

# configuration
autoconf
./configure --enable-local &> $OUT
if test "$?" != "0" ; then
    echo "Configure failed" >> $REPORT<commit_msg>restore mail for nightly bench<commit_after>#!/bin/bash

REPORTDIR=$PWD/..
OUT=$REPORTDIR/nightly-bench.out
PREVIOUS=$REPORTDIR/nightly-bench.previous
DIFF=$REPORTDIR/nightly-bench.diff
REPORT=$REPORTDIR/nightly-bench.report
DATE=`date --utc +%Y-%m-%d`

SUBJECT="Why3 nightly bench:"

notify() {
    mail -s "$SUBJECT" <EMAIL> < $REPORT
    # mail -s "$SUBJECT" <EMAIL> < $REPORT
    # cat $REPORT
    exit 0
}


echo "== Why3 bench on $DATE ==" > $REPORT

# configuration
autoconf
./configure --enable-local &> $OUT
if test "$?" != "0" ; then
    echo "Configure failed" >> $REPORT
{'fraction_non_alphanumeric': 0.17785527462946818, 'fraction_numerical': 0.006974716652136007, 'mean_word_length': 3.927038626609442, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 15, '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': '7025881', 'n_tokens_mistral': 452, 'n_tokens_neox': 439, 'n_words': 95}