applied-abstraction/precept — Issue #74: Many invariants are not being checked for lack of a real "assert"
Author: guerrilla
Created: 2012-03-01 14:12:24+00:00
State: open
Labels: Defect

For example, in the `executeUnwind` function in `Vivo.G.Execution` it is an assumed invariant that the `Unwind` instruction is not followed by any more instructions.