bitzero-methodology

Strategies for exploring and testing tightly-coupled BitZero code. Use when code seems untestable, h