1/* Every constant of @ajax/mesh-abi-host-fleet equals the Rust's (values printed by the Rust itself), and the
2 * Rust const asserts that need a function call hold. Generated from alpha-rust-mesh. */
3#include "mesh/abi/host_fleet.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_FLEET, UINT64_C(5120));
11    CHECK_U(MESH_S_LEADER, UINT64_C(5120));
12    CHECK_U(MESH_S_ROLE, UINT64_C(5124));
13    CHECK_U(MESH_S_TERM, UINT64_C(5128));
14    CHECK_U(MESH_S_STATE_VER, UINT64_C(5136));
15    CHECK_U(MESH_S_APPLIED_VER, UINT64_C(5144));
16    CHECK_U(MESH_S_UP_MASK, UINT64_C(5152));
17    CHECK_U(MESH_S_SUSPECT_MASK, UINT64_C(5156));
18    CHECK_U(MESH_S_QUORUM, UINT64_C(5160));
19    CHECK_U(MESH_S_FLEET_FLAGS, UINT64_C(5164));
20    CHECK_U(MESH_S_DEAD_MS, UINT64_C(5176));
21    CHECK_U(MESH_S_COMMIT_TERM, UINT64_C(5180));
22    CHECK_U(MESH_ROLE_SINGLE, UINT64_C(0));
23    CHECK_U(MESH_ROLE_FOLLOWER, UINT64_C(1));
24    CHECK_U(MESH_ROLE_PRECANDIDATE, UINT64_C(2));
25    CHECK_U(MESH_ROLE_CANDIDATE, UINT64_C(3));
26    CHECK_U(MESH_ROLE_LEADER, UINT64_C(4));
27    CHECK_U(MESH_ROLE_NAMES_LEN, 5);
28    CHECK_S(MESH_ROLE_NAMES[0], "single");
29    CHECK_S(MESH_ROLE_NAMES[1], "follower");
30    CHECK_S(MESH_ROLE_NAMES[2], "pre-candidate");
31    CHECK_S(MESH_ROLE_NAMES[3], "candidate");
32    CHECK_S(MESH_ROLE_NAMES[4], "leader");
33    CHECK_U(MESH_FF_QUORUM, UINT64_C(1));
34    CHECK_U(MESH_FF_FIXED, UINT64_C(2));
35    CHECK_U(MESH_S_FMEMBERS, UINT64_C(5184));
36    CHECK_U(MESH_FMEMBER_BYTES, UINT64_C(64));
37    CHECK_U(MESH_FM_STATUS, UINT64_C(0));
38    CHECK_U(MESH_FM_GROUP, UINT64_C(4));
39    CHECK_U(MESH_FM_APPLIED, UINT64_C(8));
40    CHECK_U(MESH_FM_HEARD_MS, UINT64_C(16));
41    CHECK_U(MESH_FM_REASON, UINT64_C(24));
42    CHECK_U(MESH_S_GROUP, UINT64_C(5696));
43    CHECK_U(MESH_SG_NAME, UINT64_C(5696));
44    CHECK_U(MESH_SG_EPOCH, UINT64_C(5712));
45    CHECK_U(MESH_SG_CYCLE, UINT64_C(5716));
46    CHECK_U(MESH_SG_MASK, UINT64_C(5720));
47    CHECK_U(MESH_SG_ORDER, UINT64_C(5724));
48    CHECK_U(MESH_SG_STATE, UINT64_C(5732));
49    CHECK_U(MESH_SG_LOCAL, UINT64_C(5736));
50    CHECK_U(MESH_SG_RANK, UINT64_C(5740));
51    CHECK_U(MESH_SG_ON_LOSS, UINT64_C(5744));
52    CHECK_U(MESH_SG_AUTO_MS, UINT64_C(5748));
53    CHECK_U(MESH_S_FLEET_END, UINT64_C(5760));
54    CHECK_U(MESH_GS_NAMES_LEN, 3);
55    CHECK_S(MESH_GS_NAMES[0], "-");
56    CHECK_S(MESH_GS_NAMES[1], "running");
57    CHECK_S(MESH_GS_NAMES[2], "paused");
58    CHECK_U(MESH_FMEMBER_FIELDS_LEN, 5);
59    CHECK_U(MESH_FMEMBER_FIELDS[0].off, UINT64_C(0));
60    CHECK_U(MESH_FMEMBER_FIELDS[0].bytes, UINT64_C(4));
61    CHECK_U(MESH_FMEMBER_FIELDS[1].off, UINT64_C(4));
62    CHECK_U(MESH_FMEMBER_FIELDS[1].bytes, UINT64_C(4));
63    CHECK_U(MESH_FMEMBER_FIELDS[2].off, UINT64_C(8));
64    CHECK_U(MESH_FMEMBER_FIELDS[2].bytes, UINT64_C(8));
65    CHECK_U(MESH_FMEMBER_FIELDS[3].off, UINT64_C(16));
66    CHECK_U(MESH_FMEMBER_FIELDS[3].bytes, UINT64_C(8));
67    CHECK_U(MESH_FMEMBER_FIELDS[4].off, UINT64_C(24));
68    CHECK_U(MESH_FMEMBER_FIELDS[4].bytes, UINT64_C(40));
69    return mesh_check_done();
70}