<commit_before>#!/bin/bash

index_file="index"
tmp_file="tmp_index"

wget -O $index_file http://cvc4.cs.nyu.edu/cvc4-builds/x86_64-linux-opt-proofs/unstable/

cat $index_file \
| grep linux-opt-proofs \
| sed -e 's:.*\(cvc4-20.*\)".*:\1:'> $tmp_file

latest=""

while read line
do
  latest="$line"
done < $tmp_file

rm $index_file $tmp_file

if [ -n "$latest" ]
then
  echo "latest cvc4 version is $latest"
  wget -O cvc4 "http://cvc4.cs.nyu.edu/cvc4-builds/x86_64-linux-opt-proofs/unstable/$latest"
else
  echo "could not retrieve latest cvc4 version"
  exit 2
fi<commit_msg>This fixes kind2-mc/kind2#465<commit_after>#!/bin/bash

url="http://cvc4.cs.stanford.edu/downloads/builds/x86_64-linux-opt/unstable/"

latest=`wget -qO - $url | grep -P -o "cvc4-.*?-opt" | tail -1`

if [ -n "$latest" ]
then
  echo "latest cvc4 version is $latest"
  wget -O cvc4 "$url$latest"
  exit $?
else
  echo "could not retrieve latest cvc4 version"
  exit 2
fi

{'fraction_non_alphanumeric': 0.1684322033898305, 'fraction_numerical': 0.038135593220338986, 'mean_word_length': 3.6782178217821784, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6521625', 'n_tokens_mistral': 428, 'n_tokens_neox': 402, 'n_words': 89}