Overview

Single Value Assertion Macros

  • cmc_assert - Asserts that an expression evaluates to true;
  • cmc_assert_equals - Asserts that a value from type dtype equals another;
  • cmc_assert_not_equals - Asserts that value from type dtype does not equals another;
  • cmc_assert_greater - Asserts that a value from type dtype is greater than a lower bound;
  • cmc_assert_greater_equals - Asserts that a value from type dtpype is greater than or equal to a lower bound;
  • cmc_assert_lesser - Asserts that a value from type dtpype is lesser than an upper bound;
  • cmc_assert_lesser_equals - Asserts that a value from type dtpype is lesser than or equal to an upper bound;
  • cmc_assert_in_range - Asserts that a value from type dtpype is within a certain range;
  • cmc_assert_not_in_range - Asserts that a value from type dtpype is outside of a certain range.

Array Assertion Macros

  • cmc_assert_array_equals_any - Assert that two arrays are equal element by element;
  • cmc_assert_array_within_any - Assert that each element in the array are within a bounds;
  • cmc_assert_array_outside_any - Assert that each element in the array are out of bounds;
  • cmc_assert_array_sorted_any - Assert that the array is sorted.