Module containing the imports needed to test that a given abstract trace passes the concrete validation. This is useful when debugging counterexamples.

Usage from the ghci repl:

import Hedgehog
Hedgehog.check $ property $ passConcreteValidation trace0

Replace trace0 by the trace under analysis.