Plots not created (`elle-list-append`) about elle-cli

[ligurio]

{:index 1 :type :invoke, :value [[:append x 8] [:r x []]]}
{:index 2 :type :ok, :value [[:append x 8] [:r x [8]]]}
{:index 3 :type :invoke, :value [[:r x nil]]}
{:index 4 :type :ok, :value [[:r x [1 8]]]}

First of all: provided history is not in EDN format, but file contains an extension .end. Colon is missed for x.
Correct history in EDN format is:

{:index 1 :type :invoke, :value [[:append :x 8] [:r :x []]]}
{:index 2 :type :ok,     :value [[:append :x 8] [:r :x [8]]]}
{:index 3 :type :invoke, :value [[:r :x nil]]}
{:index 4 :type :ok,     :value [[:r :x [1 8]]]}

elle has the same behavior with provided history:

elle_cli.cli=> (require '[elle.list-append :as a])
nil
elle_cli.cli=> (def h [{:index 1 :type :invoke, :value [[:append :x 8] [:r :x []]]} {:index 2 :type :ok, :value [[:append :x 8] [:r :x [8]]]} {:index 3 :type :invoke, :value [[:r :x nil]]} {:index 4 :type :ok, :value [[:r :x [1 8]]]}])
#'elle_cli.cli/h
elle_cli.cli=> (pprint (a/check {:consistency-models [:serializable], :cycle-search-timeout 5000, :directory "out"} h))
{:valid? false,
 :anomaly-types (:incompatible-order),
 :anomalies {:incompatible-order ({:key :x, :values [[8] [1 8]]})},
 :not #{:read-atomic :read-committed},
 :also-not
 #{:ROLA
   :causal-cerone
   :consistent-view
   :cursor-stability
   :forward-consistent-view
   :monotonic-atomic-view
   :monotonic-snapshot-read
   :monotonic-view
   :parallel-snapshot-isolation
   :prefix
   :repeatable-read
   :serializable
   :snapshot-isolation
   :strict-serializable
   :strong-session-serializable
   :strong-session-snapshot-isolation
   :strong-snapshot-isolation
   :update-serializable}}
nil
elle_cli.cli=> 

So I would address an issue to elle's author or try to look to elle's source code for explanation.

In general, plotting works fine with list-append history:

sergeyb@pony:~/sources/elle-cli$ java -jar ./target/elle-cli-0.1.3-standalone.jar -m elle-list-append -v -p svg histories/elle/paper-example.json -d .
{"valid?":false,       
 "anomaly-types":["G-single"],
 "anomalies":   
 {"G-single":   
  [{"cycle":          
    [{"index":7,       
      "type":"ok",
      "value":  
      [["append", 250, 10], ["r", 253, [1, 3, 4]],
       ["r", 255, [2, 3, 4, 5]], ["append", 256, 3]]},
     {"index":3,      
      "type":"ok",      
      "value":[["append", 255, 8], ["r", 253, [1, 3, 4]]]},
     {"index":5,           
      "type":"ok",
      "value":                                                              
      [["append", 256, 4], ["r", 255, [2, 3, 4, 5, 8]],
       ["r", 256, [1, 2, 4]], ["r", 253, [1, 3, 4]]]},             
     {"index":7,         
      "type":"ok",               
      "value":
      [["append", 250, 10], ["r", 253, [1, 3, 4]],
       ["r", 255, [2, 3, 4, 5]], ["append", 256, 3]]}],
    "steps":
    [{"type":"rw",
      "key":255,
      "value":5,
      "value'":8,
      "a-mop-index":2,
      "b-mop-index":0},
     {"type":"wr",
      "key":255,
      "value":8,
      "a-mop-index":0,
      "b-mop-index":1},
     {"type":"ww",
      "key":256,
      "value":4,
      "value'":3,
      "a-mop-index":0,
      "b-mop-index":3}],
    "type":"G-single"}]},
 "not":["consistent-view"],
 "also-not":
 ["forward-consistent-view", "serializable", "snapshot-isolation",
  "strict-serializable", "strong-session-serializable",
  "strong-session-snapshot-isolation", "strong-snapshot-isolation",
  "update-serializable"]}
sergeyb@pony:~/sources/elle-cli$ stat -t G-single/0.svg 
G-single/0.svg 4094 8 81b4 1001 1001 10305 4348219 1 0 0 1652469479 1652469515 1652469515 0 4096

[mprimi]

Alright, if Elle underneath behaves the same, then I agree this is not an Elle-cli issue.