proper icon indicating copy to clipboard operation
proper copied to clipboard

Failing call sequences are not pretty printed

Open ijt opened this issue 8 years ago • 0 comments

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']}}]

ijt avatar Jan 02 '17 02:01 ijt