Small updates to `rationale.md` for display on Github.
[vvhitespace] / tests / 3001_heap.pvvs
2019-07-05 Aaron TaylorCleaning up test from previous, premature commit.
2019-07-05 Aaron TaylorAdded tests for heap IMP.