#!/bin/sh

set -e

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

cvc5 --version > /dev/null
