#!/usr/bin/env bash

cd  "$(realpath "$(dirname "$0")")" || exit 1

# shellcheck disable=SC1091
source "new_prelude.sh"
ask_for_sudo

pattern="'.*[0-9].*(md|\.c)$'"
run_cold_benchmark "simple-pattern" "-HI $pattern '$SEARCH_ROOT'" "-HI $pattern '$SEARCH_ROOT'" "pattern"