aranya-runtime 0.25.0

The Aranya core runtime
Documentation
[
  {
    "SetupClientsAndGraph": {
      "clients": 3,
      "graph": 0,
      "policy": 0
    }
  },
  {
    "AddExpectation": 3
  },
  {
    "ActionSet": {
      "client": 0,
      "graph": 0,
      "key": 0,
      "value": 3,
      "repeat": 1
    }
  },
  {
    "AddExpectation": 4
  },
  {
    "ActionSet": {
      "client": 1,
      "graph": 0,
      "key": 0,
      "value": 4,
      "repeat": 1
    }
  },
  {
    "AddExpectation": 3
  },
  {
    "AddExpectation": 4
  },
  {
    "Sync": {
      "graph": 0,
      "client": 1,
      "from": 0,
      "must_send": 2,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "AddExpectations": {
      "expectation": 4,
      "repeat": 2
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 0,
      "from": 1,
      "must_send": 2,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "AddExpectations": {
      "expectation": 1,
      "repeat": 101
    }
  },
  {
    "ActionSet": {
      "client": 0,
      "graph": 0,
      "key": 0,
      "value": 1,
      "repeat": 101
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 0,
      "from": 1,
      "must_send": 100,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "PrintGraph": {
      "client": 0,
      "graph": 0
    }
  },
  {
    "AddExpectation": 4
  },
  {
    "AddExpectations": {
      "expectation": 1,
      "repeat": 99
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 1,
      "from": 0,
      "must_send": 2,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 0,
      "from": 1,
      "must_send": 100,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "AddExpectations": {
      "expectation": 1,
      "repeat": 2
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 1,
      "from": 0,
      "must_send": 1,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 1,
      "from": 0,
      "must_send": 1,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "CompareGraphs": {
      "clienta": 0,
      "clientb": 1,
      "graph": 0,
      "equal": true
    }
  },
  {
    "AddExpectation": 4
  },
  {
    "AddExpectation": 3
  },
  {
    "AddExpectation": 4
  },
  {
    "AddExpectations": {
      "expectation": 1,
      "repeat": 101
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 2,
      "from": 1,
      "must_send": 2,
      "must_receive": null,
      "max_syncs": 2
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 2,
      "from": 1,
      "must_send": 1,
      "must_receive": null,
      "max_syncs": 2
    }
  },
  {
    "CompareGraphs": {
      "clienta": 2,
      "clientb": 1,
      "graph": 0,
      "equal": true
    }
  },
  {
    "Sync": {
      "graph": 0,
      "client": 0,
      "from": 1,
      "must_send": 1,
      "must_receive": null,
      "max_syncs": 1
    }
  },
  {
    "CompareGraphs": {
      "clienta": 0,
      "clientb": 2,
      "graph": 0,
      "equal": true
    }
  }
]