/interpreter/tags/at2dist220411/test/edu/vub/at/trace/fulfilled.json

 1[ {
 2  "class" : [ "org.ref_send.log.Fulfilled", "org.ref_send.log.Resolved", "org.ref_send.log.Event" ],
 3  "anchor" : {
 4    "number" : 0,
 5    "turn" : {
 6      "loop" : "testLoop",
 7      "number" : 0
 8    }
 9  },
10  "condition" : "theCondition",
11  "trace" : {
12    "calls" : [ ]
13  }
14} ]