machi/prototype
Scott Lystig Fritchie 572d1803d0 Add (mostly) temporal logic checking for exactly-once append_page().
Also, for peace of mind (I hope), I've added this -ifndef to introduce
a bug that should cause the new exactly-once append_page() check to fail.
This should make it easier to change the model and *TEST* the changes,
to avoid breaking the model without ever knowing it.
2015-03-02 18:03:08 +09:00
..
corfurl Add (mostly) temporal logic checking for exactly-once append_page(). 2015-03-02 18:03:08 +09:00