#!/bin/sh
# DF-4229 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./model_uninit_error (exact control-flow model; 3/3 poison leak). Kernel: write(fd, NULL, 0) on /dev/cyapa*