Function platform_ensures

loader/linux/src/platform.c:68–72

* <!-- description --> * @brief If test is false, a contract violation has occurred. This * should be used to assert postconditions that if not meet, would * result in undefined behavior. These should not be tested by a * unit test, meaning they are contract violations. These asserts * are simply there as a sanity check during a debug build. * * <!-- inputs/outputs --> *

 *   @param test the contract to check
 */
void
platform_ensures(int const test) NOEXCEPT
{
    BUG_ON(!test);
}

/**
 * <!-- description -->