Masstree has separately-configurable precondtions and invariants.
Masstree has separately-configurable precondtions and invariants.

The fact that we turned on only invariants (and not preconditions)
with CHECK_INVARIANTS=1 was very confusing.

nathanielherman/silo,nathanielherman/silo,stephentu/silo,nathanielherman/silo,nathanielherman/silo,stephentu/silo,stephentu/silo,stephentu/silo