* <!-- description --> * @brief If test is false, a contract violation has occurred. This * should be used to assert preconditions 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 --> *
| 49 | * @param test the contract to check |
| 50 | */ |
| 51 | void |
| 52 | platform_expects(int const test) NOEXCEPT |
| 53 | { |
| 54 | BUG_ON(!test); |
| 55 | } |
| 56 | |
| 57 | /** |
| 58 | * <!-- description --> |
no outgoing calls
no test coverage detected