CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
DebugConcepts::LazyAssertion Concept Reference

Concept for something that can be lazily called to produce a bool. More...

#include <debug.hh>

Concept definition

template<typename T>
concept LazyAssertion = requires(T v) {
{ v() } -> IsBool;
}
Helper concept for matching booleans.
Definition debug.hh:37
Concept for something that can be lazily called to produce a bool.
Definition debug.hh:45

Detailed Description

Concept for something that can be lazily called to produce a bool.

Definition at line 45 of file debug.hh.