theories.h File Reference

Theory tests. More...

#include "criterion.h"
#include "internal/theories.h"

Go to the source code of this file.

Macros
#define	Theory(Params, Suite, Name, ...)   internal
#define	TheoryDataPoints(Suite, Name)   CR_TH_INTERNAL_TDPS(Suite, Name)
#define	DataPoints(Type, ...)   CR_EXPAND(CR_TH_INTERNAL_DP(Type, __VA_ARGS__))
#define	cr_assume(Condition)
#define	cr_assume_not(Condition)   cr_assume(!(Condition))
#define	cr_assume_eq(Actual, Expected)   cr_assume_op_(==, Actual, Expected)
#define	cr_assume_neq(Actual, Unexpected)   cr_assume_op_(!=, Actual, Unexpected)
#define	cr_assume_gt(Actual, Reference)   cr_assume_op_(>, Actual, Reference)
#define	cr_assume_geq(Actual, Reference)   cr_assume_op_(>=, Actual, Reference)
#define	cr_assume_lt(Actual, Reference)   cr_assume_op_(<, Actual, Reference)
#define	cr_assume_leq(Actual, Reference)   cr_assume_op_(<=, Actual, Reference)
#define	cr_assume_null(Value)   cr_assume_eq(Value, NULL)
#define	cr_assume_not_null(Value)   cr_assume_neq(Value, NULL)
#define	cr_assume_float_eq(Actual, Expected, Epsilon)
#define	cr_assume_float_neq(Actual, Expected, Epsilon)
#define	cr_assume_str_eq(Actual, Expected)   cr_assume_str_op_(==, Actual, Expected)
#define	cr_assume_str_neq(Actual, Unexpected)   cr_assume_str_op_(!=, Actual, Unexpected)
#define	cr_assume_str_lt(Actual, Reference)   cr_assume_str_op_(<, Actual, Reference)
#define	cr_assume_str_leq(Actual, Reference)   cr_assume_str_op_(<=, Actual, Reference)
#define	cr_assume_str_gt(Actual, Reference)   cr_assume_str_op_(>, Actual, Reference)
#define	cr_assume_str_geq(Actual, Reference)   cr_assume_str_op_(>=, Actual, Reference)
#define	cr_assume_arr_eq(Actual, Expected, Size)   cr_assume(!memcmp((Actual), (Expected), (Size)))
#define	cr_assume_arr_neq(Actual, Unexpected, Size)   cr_assume(memcmp((Actual), (Unexpected), (Size)))
#define	cr_assume_strings_eq(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_eq, cr_assume_str_eq) cr_assume_str_eq(__VA_ARGS__)
#define	cr_assume_strings_neq(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_neq, cr_assume_str_neq) cr_assume_str_neq(__VA_ARGS__)
#define	cr_assume_strings_lt(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_lt, cr_assume_str_lt) cr_assume_str_lt(__VA_ARGS__)
#define	cr_assume_strings_leq(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_leq, cr_assume_str_leq) cr_assume_str_leq(__VA_ARGS__)
#define	cr_assume_strings_gt(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_gt, cr_assume_str_gt) cr_assume_str_gt(__VA_ARGS__)
#define	cr_assume_strings_geq(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_geq, cr_assume_str_geq) cr_assume_str_geq(__VA_ARGS__)
#define	cr_assume_arrays_eq(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_arrays_eq, cr_assume_arr_eq) cr_assume_arr_eq(__VA_ARGS__)
#define	cr_assume_arrays_neq(...)   CRITERION_ASSERT_DEPRECATED_B(cr_assume_arrays_neq, cr_assume_arr_neq) cr_assume_arr_neq(__VA_ARGS__)

Functions
CR_BEGIN_C_API CR_API void	cr_theory_abort (void)

Detailed Description

Theory tests.

Definition in file theories.h.

Macro Definition Documentation

cr_assume_arrays_eq

#define cr_assume_arrays_eq

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_arrays_eq, cr_assume_arr_eq) cr_assume_arr_eq(__VA_ARGS__)

Definition at line 394 of file theories.h.

cr_assume_arrays_neq

#define cr_assume_arrays_neq

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_arrays_neq, cr_assume_arr_neq) cr_assume_arr_neq(__VA_ARGS__)

Definition at line 395 of file theories.h.

cr_assume_strings_eq

#define cr_assume_strings_eq

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_eq, cr_assume_str_eq) cr_assume_str_eq(__VA_ARGS__)

Definition at line 387 of file theories.h.

cr_assume_strings_geq

#define cr_assume_strings_geq

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_geq, cr_assume_str_geq) cr_assume_str_geq(__VA_ARGS__)

Definition at line 392 of file theories.h.

cr_assume_strings_gt

#define cr_assume_strings_gt

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_gt, cr_assume_str_gt) cr_assume_str_gt(__VA_ARGS__)

Definition at line 391 of file theories.h.

cr_assume_strings_leq

#define cr_assume_strings_leq

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_leq, cr_assume_str_leq) cr_assume_str_leq(__VA_ARGS__)

Definition at line 390 of file theories.h.

cr_assume_strings_lt

#define cr_assume_strings_lt

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_lt, cr_assume_str_lt) cr_assume_str_lt(__VA_ARGS__)

Definition at line 389 of file theories.h.

cr_assume_strings_neq

#define cr_assume_strings_neq

(

...

)

CRITERION_ASSERT_DEPRECATED_B(cr_assume_strings_neq, cr_assume_str_neq) cr_assume_str_neq(__VA_ARGS__)

Definition at line 388 of file theories.h.

Function Documentation

cr_theory_abort()

CR_BEGIN_C_API CR_API void cr_theory_abort

(

void

)

Aborts the current theory iteration. This function does not return.