#!/usr/bin/env bash
set -euo pipefail

root_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
cd "$root_dir"

if [[ ! -x ./bench_random_mixed_hakmem || ! -x ./bench_mid_large_mt_hakmem ]]; then
  make bench_random_mixed_hakmem bench_mid_large_mt_hakmem -j
fi

echo "== Health Profile 1/2: MIXED_TINYV3_C7_SAFE =="
HAKMEM_PROFILE=MIXED_TINYV3_C7_SAFE ./bench_random_mixed_hakmem 1000000 400 1

echo
echo "== Health Profile 2/2: C6_HEAVY_LEGACY_POOLV1 =="
HAKMEM_PROFILE=C6_HEAVY_LEGACY_POOLV1 ./bench_mid_large_mt_hakmem 1 1000000 400 1

echo
echo "OK: health profiles passed"