#!/usr/bin/env bash

set -euo pipefail

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

node "$script_dir/experiment.mjs"
node "$script_dir/verify-results.mjs"