proper
proper copied to clipboard
Failing call sequences are not pretty printed
Here is an example of output when a test fails:
... Shrinking .(1 time(s)) [{set,{var,1},{call,kv_store,put,[c,'3']}},{set,{var,2},{call,kv_store,erase,[c]}},{set,{var,3},{call,kv_store,put,[c,'3']}}] History: [{[],''},{[{c,'3'}],'3'},{[],'3'}] State: [] Res: {postcondition,false}
The call sequence could be more readably printed by putting it through Erlang's rp/1 function first:
[{set,{var,1},{call,kv_store,put,[c,'3']}}, {set,{var,2},{call,kv_store,erase,[c]}}, {set,{var,3},{call,kv_store,put,[c,'3']}}]