This repository contains a small set of manually crafted benchmarks for testing validators of violation witnesses in the witness format 2.0.
Each directory in the handcrafted directory contains one program and several violation witnesses, either prefixed with good of bad, marking whether the witness should be confirmed or refuted, respectively.