run.sh for ASSET model checker.

run.sh

#!/bin/bash
set -eu

[ "${1:-}" ] && [ -f "${1:-}" ] || { echo "No such file: ${1:-}" >&2; exit 1; }

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

[ -f "$DIR/asset.cc" ] || { echo "asset.cc not found in: $DIR (where run.sh is)" >&2; exit 1; }

cp "$1" asset.model
g++ -ansi -Wall -pedantic -O2 asset.cc -o asset.out

time ./asset.out