Reformat C2 example in prototype/corfurl/docs/corfurl/notes/README.md
This commit is contained in:
parent
8ddb62d88f
commit
769ac0bd03
1 changed files with 9 additions and 1 deletions
|
@ -23,7 +23,15 @@ Chart (MSC) for a race found at commit 087c2605ab.
|
|||
Second attempt. This is almost exactly the trace that is
|
||||
generated by this failing test case at commit 087c2605ab:
|
||||
|
||||
C2 = [{1,2,1},{{[{set,{var,1},{call,corfurl_pulse,setup,[1,2,1,standard]}}],[[{set,{var,3},{call,corfurl_pulse,append,[{var,1},<<0>>]}}],[{set,{var,2},{call,corfurl_pulse,read_approx,[{var,1},6201864198]}},{set,{var,5},{call,corfurl_pulse,append,[{var,1},<<0>>]}}],[{set,{var,4},{call,corfurl_pulse,append,[{var,1},<<0>>]}},{set,{var,6},{call,corfurl_pulse,trim,[{var,1},510442857]}}]]},{25152,1387,78241}},[{events,[[{no_bad_reads,[]}]]}]].
|
||||
C2 = [{1,2,1},
|
||||
{{[{set,{var,1},{call,corfurl_pulse,setup,[1,2,1,standard]}}],
|
||||
[[{set,{var,3},{call,corfurl_pulse,append,[{var,1},<<0>>]}}],
|
||||
[{set,{var,2},{call,corfurl_pulse,read_approx,[{var,1},6201864198]}},
|
||||
{set,{var,5},{call,corfurl_pulse,append,[{var,1},<<0>>]}}],
|
||||
[{set,{var,4},{call,corfurl_pulse,append,[{var,1},<<0>>]}},
|
||||
{set,{var,6},{call,corfurl_pulse,trim,[{var,1},510442857]}}]]},
|
||||
{25152,1387,78241}},
|
||||
[{events,[[{no_bad_reads,[]}]]}]]
|
||||
eqc:check(corfurl_pulse:prop_pulse(), C2).
|
||||
|
||||
## read-repair-race.2b.*
|
||||
|
|
Loading…
Reference in a new issue