// Copyright 2022 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include "src/virtualization/tests/lib/guest_test.h"

namespace {

template <class T>
using RestartableGuestTest = GuestTest<T>;
TYPED_TEST_SUITE(RestartableGuestTest, AllGuestTypes, GuestTestNameGenerator);

TYPED_TEST(RestartableGuestTest, ForceRestartGuestInRealm) {
  GuestLaunchInfo guest_launch_info;
  ASSERT_EQ(this->GetEnclosedGuest().BuildLaunchInfo(&guest_launch_info), ZX_OK);

  // Restarting the guest without destroying the realm that the guest manager was launched into
  // validates that the out of process devices were correctly cleaned up upon guest termination.
  ASSERT_EQ(ZX_OK, this->GetEnclosedGuest().ForceRestart(guest_launch_info,
                                                         zx::deadline_after(zx::min(3))));
}

}  // namespace