Skip to content

Latest commit

 

History

History
6 lines (3 loc) · 464 Bytes

README.md

File metadata and controls

6 lines (3 loc) · 464 Bytes

witness-tests

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.