Searched refs:IfDataspaceChosenState (Results 1 – 1 of 1) sorted by relevance
2221 struct IfDataspaceChosenState struct2222 : public CallOrderStateMachineHelper<TestType, IfDataspaceChosenState> {2253 [[nodiscard]] auto verify() { return IfDataspaceChosenState::make(this); } in verify()