protected virtual async Task TestState(int level, AppState state)
{
if ((await Rpc.GetGlobalCounterAsync(level)).RequiredInt32() != state.ManagerCounter)
{
throw new Exception($"Diagnostics failed: wrong global counter");
}
}