ZT_CMP_INT(3)

ZT_CMP_INT3

Construct a claim of a relation between two integers

Usage

#include <zt.h>

#define ZT_CMP_INT(left, rel, right) \
  zt_cmp_int( \
    ZT_CURRENT_LOCATION(), \
    zt_pack_integer((left), (#left)), \
    zt_pack_string((#rel), (#rel)), \
    zt_pack_integer((right), (#right)))

zt_claim

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

Overview

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

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

Implementation notes

ZT_CMP_INT() 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_INT() macro and the zt_cmp_int() function first appeared in libzt 0.1

Since libzt 0.3 zt_cmp_int() internally promotes left and right arguments from ZT_INTEGER to ZT_INTMAX.

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.