#!/bin/bash
set -e

BIN=$(dirname $0)

if [[ "$OSTYPE" == "darwin" ]]; then
  Z3="$BIN/../src/main/universal/deps/darwin/z3/bin/z3"
else
  Z3="$BIN/../src/main/universal/deps/unix/z3/bin/z3"
fi

$BIN/run-class viper.silicon.SiliconRunner --z3Exe $Z3 "$@"
