From 6858041c7dda5e7fac505e2c54bc07138d138c10 Mon Sep 17 00:00:00 2001
From: Scott Lystig Fritchie <slfritchie@snookles.com>
Date: Thu, 27 Feb 2014 14:59:26 +0900
Subject: [PATCH] See comments added by this commit for append_page() bug
 found, racing with epoch change

---
 prototype/corfurl/src/corfurl_client.erl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/prototype/corfurl/src/corfurl_client.erl b/prototype/corfurl/src/corfurl_client.erl
index 2edac44..c10d691 100644
--- a/prototype/corfurl/src/corfurl_client.erl
+++ b/prototype/corfurl/src/corfurl_client.erl
@@ -18,6 +18,11 @@
 %%
 %% -------------------------------------------------------------------
 
+%% TODO: fix this failure case with append_page(Bin) -> {ok, 2},
+%%       but read_page(LPN=1) can read Bin, and model believes that
+%%       LPN=1 was never written
+%% Ca = [{2,2,1},{{[{set,{var,1},{call,corfurl_pulse,setup,[2,2,1,standard]}}],[[{set,{var,3},{call,corfurl_pulse,append,[{var,1},<<0>>]}}],[{set,{var,2},{call,corfurl_pulse,stop_sequencer,[{var,1},kill]}},{set,{var,4},{call,corfurl_pulse,trim,[{var,1},386862782]}},{set,{var,5},{call,corfurl_pulse,scan_forward,[{var,1},5412106233,1]}}]]},{24672,25300,90107}},[{events,[[{no_bad_reads,[]}]]}]].
+
 -module(corfurl_client).
 
 -export([append_page/2, read_page/2, fill_page/2, trim_page/2, scan_forward/3]).