runtimeverification/quiz

A randomized property testing library for Hoon.