kernel/tests/src/test_support.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include "kapi/cpu.hpp"

#include "kernel/tests/cpu.hpp"

#include <catch2/catch_test_macros.hpp>

SCENARIO("Kernel test support infrastructure", "[support]")
{
  GIVEN("the test support infrastructure is initialized")
  {
    WHEN("when a CPU halt is requested")
    {
      THEN("the correct exception is thrown")
      {
        REQUIRE_THROWS_AS(kapi::cpu::halt(), kernel::tests::cpu::halt);
      }
    }
  }
}