#!/bin/bash

set -euo pipefail

web=/tmp/webroot

./wumpus-hunter \
	--keep \
	--dir "$web/src" \
	--log "$web/log.html" \
	--run-log "$web" \
	--stats "$web/stats.txt" \
	--counts "$web/counts.html"