// Copyright Microsoft and CHERIoT Contributors.
// SPDX-License-Identifier: MIT

#ifndef _ASSERT_H_
#define _ASSERT_H_

#include <stdlib.h>

#ifdef NDEBUG
#	define assert(x) ((void)0)
#else
#	define assert(x) ((x) ? (void)0 : panic())
#endif

#endif // _ASSERT_H_