#!/bin/sh

set -e

# This basically just checks whether the cvc4 executable is installed
# properly and executable.

cvc4 --version > /dev/null
