FLINT3.7.0-dev

CA_TEST_PROPERTY

Synopsis#include <flint/ca.h>
CA_TEST_PROPERTY(f, s, x, ctx, expected)source

Used in the test suite: evaluates the predicate f(x, ctx) and aborts with a message containing the string s if the result differs from the truth_t value expected.

Cite this page

The FLINT team, “CA_TEST_PROPERTY (ca.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/ca/CA_TEST_PROPERTY.html (generated 2026-10-20).