<commit_before>#!/bin/bash
set -e
export LD_LIBRARY_PATH=`pwd`/lib

COFLOCO=`pwd`/provers/cofloco
EXAMPLE_FILE=`pwd`/$1
TIME_FILE=`pwd`/$2
STDOUT_FILE=$(echo "${TIME_FILE}" | sed -e 's/.time$/.stdout.txt/')
STDERR_FILE=$(echo "${TIME_FILE}" | sed -e 's/.time$/.stderr.txt/')
INPUT_FILE=$(echo "${TIME_FILE}" | sed -e 's/.time$/.input.txt/')

TEMPDIR=$(mktemp -d)
cd "$TEMPDIR"
cp "$EXAMPLE_FILE" main.cofloco
"$COFLOCO" -fill_base_cases -v 2 -stats  -n_rankings 2 -assume_sequential -maximize_fast 9 -i main.cofloco > "${STDOUT_FILE}" 2> "${STDERR_FILE}" || :
cp main.cofloco "${INPUT_FILE}" || true
cd - >/dev/null
rm -rf "$TEMPDIR"<commit_msg>Adapt CoFloCo wrapper to lattest CoFloCo version<commit_after>#!/bin/bash
set -e
export LD_LIBRARY_PATH=`pwd`/lib

COFLOCO=`pwd`/provers/cofloco
EXAMPLE_FILE=`pwd`/$1
TIME_FILE=`pwd`/$2
STDOUT_FILE=$(echo "${TIME_FILE}" | sed -e 's/.time$/.stdout.txt/')
STDERR_FILE=$(echo "${TIME_FILE}" | sed -e 's/.time$/.stderr.txt/')
INPUT_FILE=$(echo "${TIME_FILE}" | sed -e 's/.time$/.input.txt/')

TEMPDIR=$(mktemp -d)
cd "$TEMPDIR"
cp "$EXAMPLE_FILE" main.cofloco
"$COFLOCO" -v 2 -stats  -n_rankings 2 -assume_sequential -maximize_fast 9 -i main.cofloco > "${STDOUT_FILE}" 2> "${STDERR_FILE}" || :
cp main.cofloco "${INPUT_FILE}" || true
cd - >/dev/null
rm -rf "$TEMPDIR"
{'fraction_non_alphanumeric': 0.21483180428134557, 'fraction_numerical': 0.009174311926605505, 'mean_word_length': 4.923076923076923, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 9, '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': '1198448', 'n_tokens_mistral': 594, 'n_tokens_neox': 565, 'n_words': 112}