#!/bin/sh
# DF-5755 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload /boot/kernel/msdos_iconv.ko; sh run5755.sh; kldload ./cesu_witness/cesu_witness.ko; dmesg | grep witness; ./difftest