#!/bin/sh
# DF-0770 run script.
#
# Prerequisites (run as root on the guest first):
#     truncate -s 12G /hammer.img
#     newfs_hammer -f -L ROOT /hammer.img
#     vnconfig vn0 /hammer.img
#     mkdir -p /mnt/hammer
#     mount_hammer /dev/vn0 /mnt/hammer
#     chmod 777 /mnt/hammer
#
# This PoC is a runtime corroboration / regression test. The bug-vs-fix
# signal is the before/after disassembly of hammer_sync_inode in
# VERDICT.md, not the stdout of this program (the runtime path cannot
# deterministically force a flush-time record-sync failure on this guest).
set -e
cd "$(dirname "$0")"
./df0770