16 return 1uLL << static_cast<std::size_t>(
S);
20 return static_cast<std::size_t
>(
S);
26 return "BufferExtents";
30 return "WallClockTime";
61 Error BlockVerifier::transition(State To) {
113 "BUG (BlockVerifier): Cannot find transition table entry for %s, "
114 "transitioning to %s.",
115 recordToString(CurrentRecord).data(), recordToString(To).data());
122 auto &Mapping = TransitionTable[number(CurrentRecord)];
123 auto &Destinations = Mapping.ToStates;
124 assert(Mapping.From == CurrentRecord &&
125 "BUG: Wrong index for record mapping.");
126 if ((Destinations & ToSet(mask(To))) == 0)
129 "BlockVerifier: Invalid transition from %s to %s.",
130 recordToString(CurrentRecord).data(), recordToString(To).data());
184 switch (CurrentRecord) {
196 "BlockVerifier: Invalid terminal condition %s, malformed block.",
197 recordToString(CurrentRecord).data());