#!/usr/bin/env bash

set -e
set -o pipefail
set -u

# No tests for now. KIF tests are too unreliable.