ZT_CMP_UINT(3)

ZT_CMP_UINT3

Construct a claim of a relation between two unsigned integers

Usage

#include <zt.h>

#define ZT_CMP_UINT(left, rel, right) \
  zt_cmp_uint( \
    ZT_CURRENT_LOCATION(), \
    zt_pack_unsigned((left), (#left)), \
    zt_pack_string((#rel), (#rel)), \
    zt_pack_unsigned((right), (#right)))

zt_claim

zt_cmp_uint(zt_location location, zt_value left, zt_value rel, zt_value right);

Overview

zt_cmp_uint() constructs a claim of a relation between two unsigned integers. It should be used through the macro ZT_CMP_UINT() which passes source code location and packs arguments.

The relation must be one of ==, !=, <, <=, > or >=.

Implementation notes

ZT_CMP_UINT() evaluates left and right exactly once.

Return values

Both the macro and the function return a claim structure with the right attributes set. The returned claim is usually passed to zt_check() or to zt_assert().

Releases

Unchanged in 3 releases since Debian 11 (Bullseye).

  1. 11–13

History

The ZT_CMP_UINT() macro and the zt_cmp_uint() function first appeared in libzt 0.1

Since libzt 0.3 zt_cmp_uint() internally promotes left and right arguments from ZT_UNSIGNED to ZT_UINTMAX.

Authors

Zygmunt Krynicki ⟨[email protected]⟩

From libzt-doc 0.3.1-4 in Debian 13 (Trixie). Parsed by carta from the page's mdoc source.