163  * @brief Fail the test, if @a cond is false
173  * @param default_msg Message to print if @a cond is false
174  * @param msg Optional, can be NULL. Message to print if @a cond is false.
197  * @brief Skip the test, if @a cond is false
206  * would otherwise fail due to a zassert on some other dependent behavior that is *not* under test,
207  * thus reducing what could be tens to hundreds of assertion failures to investigate down to a few
211  * @param default_msg Message to print if @a cond is false
212  * @param msg Optional, can be NULL. Message to print if @a cond is false.
235  * @brief If @a cond is false, fail the test but continue its execution.
241  * @param default_msg Message to print if @a cond is false
242  * @param msg Optional, can be NULL. Message to print if @a cond is false.
271  * @brief Assert that @a cond is true
278  * @brief Assert that @a cond is false
285  * @brief Assert that @a cond is 0 (success)
292  * @brief Assert that @a cond is not 0 (failure)
299  * @brief Assert that @a ptr is NULL
306  * @brief Assert that @a ptr is not NULL
313  * @brief Assert that @a a equals @a b
315  * @a a and @a b won't be converted and will be compared directly.
317  * @param a Value to compare
321 #define zassert_equal(a, b, ...) zassert((a) == (b), #a " not equal to " #b, ##__VA_ARGS__)  argument
324  * @brief Assert that @a a does not equal @a b
326  * @a a and @a b won't be converted and will be compared directly.
328  * @param a Value to compare
332 #define zassert_not_equal(a, b, ...) zassert((a) != (b), #a " equal to " #b, ##__VA_ARGS__)  argument
335  * @brief Assert that @a a equals @a b
337  * @a a and @a b will be converted to `void *` before comparing.
339  * @param a Value to compare
343 #define zassert_equal_ptr(a, b, ...)                                                               \  argument
344 	zassert((void *)(a) == (void *)(b), #a " not equal to " #b, ##__VA_ARGS__)
347  * @brief Assert that @a a is within @a b with delta @a d
349  * @param a Value to compare
354 #define zassert_within(a, b, d, ...)                                                               \  argument
355 	zassert(((a) >= ((b) - (d))) && ((a) <= ((b) + (d))), #a " not within " #b " +/- " #d,     \
359  * @brief Assert that @a a is greater than or equal to @a l and less
360  *        than or equal to @a u
362  * @param a Value to compare
367 #define zassert_between_inclusive(a, l, u, ...)                                                    \  argument
368 	zassert(((a) >= (l)) && ((a) <= (u)), #a " not between " #l " and " #u " inclusive",       \
387  * @note This is internal macro, to be used as a second expansion.
422  * @brief Assume that @a cond is true
432  * @brief Assume that @a cond is false
442  * @brief Assume that @a cond is 0 (success)
452  * @brief Assume that @a cond is not 0 (failure)
462  * @brief Assume that @a ptr is NULL
472  * @brief Assume that @a ptr is not NULL
482  * @brief Assume that @a a equals @a b
484  * @a a and @a b won't be converted and will be compared directly. If the
487  * @param a Value to compare
491 #define zassume_equal(a, b, ...) zassume((a) == (b), #a " not equal to " #b, ##__VA_ARGS__)  argument
494  * @brief Assume that @a a does not equal @a b
496  * @a a and @a b won't be converted and will be compared directly. If the
499  * @param a Value to compare
503 #define zassume_not_equal(a, b, ...) zassume((a) != (b), #a " equal to " #b, ##__VA_ARGS__)  argument
506  * @brief Assume that @a a equals @a b
508  * @a a and @a b will be converted to `void *` before comparing. If the
511  * @param a Value to compare
515 #define zassume_equal_ptr(a, b, ...)                                                               \  argument
516 	zassume((void *)(a) == (void *)(b), #a " not equal to " #b, ##__VA_ARGS__)
519  * @brief Assume that @a a is within @a b with delta @a d
523  * @param a Value to compare
528 #define zassume_within(a, b, d, ...)                                                               \  argument
529 	zassume(((a) >= ((b) - (d))) && ((a) <= ((b) + (d))), #a " not within " #b " +/- " #d,     \
533  * @brief Assume that @a a is greater than or equal to @a l and less
534  *        than or equal to @a u
538  * @param a Value to compare
543 #define zassume_between_inclusive(a, l, u, ...)                                                    \  argument
544 	zassume(((a) >= (l)) && ((a) <= (u)), #a " not between " #l " and " #u " inclusive",       \
565  * @note This is internal macro, to be used as a second expansion.
600  * @brief Expect that @a cond is true, otherwise mark test as failed but continue its execution.
608  * @brief Expect that @a cond is false, otherwise mark test as failed but continue its execution.
616  * @brief Expect that @a cond is 0 (success), otherwise mark test as failed but continue its
625  * @brief Expect that @a cond is not 0 (failure), otherwise mark test as failed but continue its
634  * @brief Expect that @a ptr is NULL, otherwise mark test as failed but continue its execution.
642  * @brief Expect that @a ptr is not NULL, otherwise mark test as failed but continue its execution.
650  * @brief Expect that @a a equals @a b, otherwise mark test as failed but continue its execution.
652  * @param a Value to compare
656 #define zexpect_equal(a, b, ...) zexpect((a) == (b), #a " not equal to " #b, ##__VA_ARGS__)  argument
659  * @brief Expect that @a a does not equal @a b, otherwise mark test as failed but continue its
662  * @a a and @a b won't be converted and will be compared directly.
664  * @param a Value to compare
668 #define zexpect_not_equal(a, b, ...) zexpect((a) != (b), #a " equal to " #b, ##__VA_ARGS__)  argument
671  * @brief Expect that @a a equals @a b, otherwise mark test as failed but continue its execution.
673  * @a a and @a b will be converted to `void *` before comparing.
675  * @param a Value to compare
679 #define zexpect_equal_ptr(a, b, ...)                                                               \  argument
680 	zexpect((void *)(a) == (void *)(b), #a " not equal to " #b, ##__VA_ARGS__)
683  * @brief Expect that @a a is within @a b with delta @a d, otherwise mark test as failed but
686  * @param a Value to compare
688  * @param delta Difference between a and b
691 #define zexpect_within(a, b, delta, ...)                                                           \  argument
692 	zexpect(((a) >= ((b) - (delta))) && ((a) <= ((b) + (delta))),                              \
693 		#a " not within " #b " +/- " #delta, ##__VA_ARGS__)
696  * @brief Expect that @a a is greater than or equal to @a l and less
697  *        than or equal to @a u, otherwise mark test as failed but continue its execution.
699  * @param a Value to compare
704 #define zexpect_between_inclusive(a, lower, upper, ...)                                            \  argument
705 	zexpect(((a) >= (lower)) && ((a) <= (upper)),                                              \
706 		#a " not between " #lower " and " #upper " inclusive", ##__VA_ARGS__)