excheck

ExCheck macros seamlessly embed into ExUnit test cases, supporting async testing and per-property iteration control via tags, as shown in the sample test code with @tag iterations.

Imports a wide range of generators from triq, including integers, lists, tuples, atoms, binaries, and Unicode strings, enabling diverse input generation for comprehensive testing.

Provides implies and such_that constructs to filter or constrain generated data based on predicates, useful for targeting specific scenarios without manual input crafting.

Allows setting test iterations globally via mix config or per-property using ExUnit tags, offering flexibility in test depth and performance tuning.