Elle couldn't check list-append example described in a paper about elle

[aphyr]

I'll betcha this is caused by missing :process fields--might need an explicit warning about that in jepsen.history

[ligurio]

paper-example.edn broken again between versions 0.1.8 and 0.1.9 (commits ¹):

with elle 0.1.8:

$ java -jar target/elle-cli-0.1.7-standalone.jar --model list-append histories/elle/paper-example.edn --anomalies G-single-process --consistency-models linearizable
histories/elle/paper-example.edn        true
$ 

with elle 0.1.9:

$ java -jar target/elle-cli-0.1.7-standalone.jar --model list-append histories/elle/paper-example.end --anomalies G-single-process --consistency-models linearizable
histories/elle/paper-example.edn        false
$ 

is it expected?

Footnotes

1. https://github.com/jepsen-io/elle/commit/5f9618c3b8f58c3b0a892412841222b251482f99#diff-99d376783605f7f86b1188c627a3db44967858581fe9730fa364d4a07b2065e7 ↩