crux

Simple top-level library for Crucible Simulation.

The Crux library provides the common elements for running a Crucible simulation on specific source files, with various options. This library is used by specific instances of Crux tools that provide a command-line interface to Crucible-based simulation and verification, usually by embedding verification specifications in the source language.