<commit_before>
# Install z3.
wget https://github.com/Z3Prover/z3/releases/download/z3-4.7.1/z3-4.7.1-x64-ubuntu-14.04.zip
unzip z3-4.7.1-x64-ubuntu-14.04.zip
sudo cp z3-4.7.1-x64-ubuntu-14.04/bin/z3 /usr/bin/z3

# Retrieve opam.
wget -qq https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin 4.04.0
export OPAMYES=1
eval $(opam config env)

# Install ocaml packages needed for Kind 2.
opam install ocamlfind camlp4 menhir yojson

# Build the PR's Kind 2.
./autogen.sh
./build.sh

# Checking regression test .
make test<commit_msg>attempt to fix installation of z3 on osx<commit_after>
# Install z3.
if [ "$TRAVIS_OS_NAME" = "linux" ]; then
  wget https://github.com/Z3Prover/z3/releases/download/z3-4.7.1/z3-4.7.1-x64-ubuntu-14.04.zip
  unzip z3-4.7.1-x64-ubuntu-14.04.zip
  sudo cp z3-4.7.1-x64-ubuntu-14.04/bin/z3 /usr/bin/z3
elif [ "$TRAVIS_OS_NAME" = "osx" ]; then 
  wget https://github.com/Z3Prover/z3/releases/download/z3-4.7.1/z3-4.7.1-x64-osx-10.11.6.zip
  unzip z3-4.7.1-x64-osx-10.11.6.zip
  sudo cp z3-4.7.1-x64-osx-10.11.6.zip /usr/local/bin/z3
fi

# Retrieve opam.
wget -qq https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin 4.04.0
export OPAMYES=1
eval $(opam config env)

# Install ocaml packages needed for Kind 2.
opam install ocamlfind camlp4 menhir yojson

# Build the PR's Kind 2.
./autogen.sh
./build.sh

# Checking regression test .
make test
{'fraction_non_alphanumeric': 0.16171389080856946, 'fraction_numerical': 0.09329647546648238, 'mean_word_length': 3.101983002832861, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 5, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3162674', 'n_tokens_mistral': 726, 'n_tokens_neox': 661, 'n_words': 127}