queue.itf.json

{"#meta":{"format":"ITF","format-description":"https://apalache-mc.org/docs/adr/015adr-trace.html","source":"examples/BoundedQueue/scenario.qnt","status":"ok","description":"Created by Quint on Fri Sep 18 2026 09:10:15 GMT+0200 (Central European Summer Time)","timestamp":1789715415754},"vars":["state"],"states":[{"#meta":{"index":0},"state":{"inserted":[],"items":[],"removed":[]}},{"#meta":{"index":1},"state":{"inserted":[{"#bigint":"1"}],"items":[{"#bigint":"1"}],"removed":[]}},{"#meta":{"index":2},"state":{"inserted":[{"#bigint":"1"},{"#bigint":"2"}],"items":[{"#bigint":"1"},{"#bigint":"2"}],"removed":[]}},{"#meta":{"index":3},"state":{"inserted":[{"#bigint":"1"},{"#bigint":"2"}],"items":[{"#bigint":"2"}],"removed":[{"#bigint":"1"}]}},{"#meta":{"index":4},"state":{"inserted":[{"#bigint":"1"},{"#bigint":"2"}],"items":[],"removed":[{"#bigint":"1"},{"#bigint":"2"}]}}]}