#include <check.h>
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <memory_pool.h>
#include "check_utils.h"
Go to the source code of this file.
Classes | |
struct | min_max_t |
struct | test_gen_state_t |
Functions | |
END_TEST struct | __attribute__ ((packed)) |
void | agg_sum_p (element_t *new_, void *x_, u32 n, element_t *elem_) |
void | agg_sum_s32s (element_t *new_, void *x, u32 n, element_t *elem_) |
END_TEST s8 | between_15_7 (void *arg, element_t *elem) |
END_TEST s32 | cmp_s32s (void *arg, element_t *a_, element_t *b_) |
double | dsum (double x, element_t *elem) |
END_TEST s8 | even (void *arg, element_t *elem) |
float | fsum (float x, element_t *elem) |
END_TEST s8 | greater_than_11 (void *arg, element_t *elem) |
s32 | group_by_N_i (void *i_, element_t *a_, element_t *b_) |
END_TEST s32 | group_evens (void *arg, element_t *a_, element_t *b_) |
s32 | isum (s32 x, element_t *elem) |
END_TEST s8 | less_than_12 (void *arg, element_t *elem) |
END_TEST Suite * | memory_pool_suite (void) |
void | min_max_finder (void *x, element_t *elem) |
void | print_hyp_elem (element_t *hyp_) |
void | print_s32 (element_t *elem) |
END_TEST void | prod_N (element_t *new_, void *x_, u32 n_xs, u32 n, element_t *elem_) |
void | prod_N_gen (element_t *new_, void *x_, u32 n, element_t *elem_) |
void | setup () |
START_TEST (test_simple_folds) | |
START_TEST (test_general_fold) | |
END_TEST | START_TEST (test_full) |
END_TEST | START_TEST (test_n_free) |
END_TEST | START_TEST (test_n_allocated) |
END_TEST | START_TEST (test_empty) |
END_TEST | START_TEST (test_pool_to_array) |
START_TEST (test_map) | |
START_TEST (test_filter_1) | |
START_TEST (test_filter_2) | |
START_TEST (test_filter_3) | |
START_TEST (test_filter_4) | |
START_TEST (test_clear) | |
END_TEST | START_TEST (test_sort) |
START_TEST (test_groupby_1) | |
START_TEST (test_groupby_2) | |
START_TEST (test_prod) | |
START_TEST (test_prod_generator) | |
void | teardown () |
s8 | test_next (void *x_, u32 n) |
END_TEST void | times_two (void *arg, element_t *elem) |
Variables | |
hypothesis_t | |
memory_pool_t * | test_pool_empty |
memory_pool_t * | test_pool_random |
memory_pool_t * | test_pool_seq |
END_TEST struct __attribute__ | ( | (packed) | ) | [read] |
Definition at line 447 of file check_memory_pool.c.
Definition at line 479 of file check_memory_pool.c.
void agg_sum_s32s | ( | element_t * | new_, |
void * | x, | ||
u32 | n, | ||
element_t * | elem_ | ||
) |
Definition at line 416 of file check_memory_pool.c.
END_TEST s8 between_15_7 | ( | void * | arg, |
element_t * | elem | ||
) |
Definition at line 265 of file check_memory_pool.c.
Definition at line 334 of file check_memory_pool.c.
Definition at line 76 of file check_memory_pool.c.
Definition at line 311 of file check_memory_pool.c.
Definition at line 82 of file check_memory_pool.c.
END_TEST s8 greater_than_11 | ( | void * | arg, |
element_t * | elem | ||
) |
Definition at line 288 of file check_memory_pool.c.
s32 group_by_N_i | ( | void * | i_, |
element_t * | a_, | ||
element_t * | b_ | ||
) |
Definition at line 462 of file check_memory_pool.c.
END_TEST s32 group_evens | ( | void * | arg, |
element_t * | a_, | ||
element_t * | b_ | ||
) |
Definition at line 407 of file check_memory_pool.c.
END_TEST s8 less_than_12 | ( | void * | arg, |
element_t * | elem | ||
) |
Definition at line 242 of file check_memory_pool.c.
END_TEST Suite* memory_pool_suite | ( | void | ) |
Definition at line 669 of file check_memory_pool.c.
void min_max_finder | ( | void * | x, |
element_t * | elem | ||
) |
Definition at line 115 of file check_memory_pool.c.
void print_hyp_elem | ( | element_t * | hyp_ | ) |
Definition at line 453 of file check_memory_pool.c.
Definition at line 65 of file check_memory_pool.c.
Definition at line 553 of file check_memory_pool.c.
void prod_N_gen | ( | element_t * | new_, |
void * | x_, | ||
u32 | n, | ||
element_t * | elem_ | ||
) |
Definition at line 621 of file check_memory_pool.c.
void setup | ( | ) |
Definition at line 15 of file check_memory_pool.c.
START_TEST | ( | test_simple_folds | ) |
Definition at line 88 of file check_memory_pool.c.
START_TEST | ( | test_general_fold | ) |
Definition at line 127 of file check_memory_pool.c.
END_TEST START_TEST | ( | test_full | ) |
Definition at line 140 of file check_memory_pool.c.
END_TEST START_TEST | ( | test_n_free | ) |
Definition at line 147 of file check_memory_pool.c.
END_TEST START_TEST | ( | test_n_allocated | ) |
Definition at line 171 of file check_memory_pool.c.
END_TEST START_TEST | ( | test_empty | ) |
Definition at line 195 of file check_memory_pool.c.
END_TEST START_TEST | ( | test_pool_to_array | ) |
Definition at line 205 of file check_memory_pool.c.
START_TEST | ( | test_map | ) |
Definition at line 226 of file check_memory_pool.c.
START_TEST | ( | test_filter_1 | ) |
Definition at line 248 of file check_memory_pool.c.
START_TEST | ( | test_filter_2 | ) |
Definition at line 271 of file check_memory_pool.c.
START_TEST | ( | test_filter_3 | ) |
Definition at line 294 of file check_memory_pool.c.
START_TEST | ( | test_filter_4 | ) |
Definition at line 317 of file check_memory_pool.c.
START_TEST | ( | test_clear | ) |
Definition at line 343 of file check_memory_pool.c.
END_TEST START_TEST | ( | test_sort | ) |
Definition at line 359 of file check_memory_pool.c.
START_TEST | ( | test_groupby_1 | ) |
Definition at line 429 of file check_memory_pool.c.
START_TEST | ( | test_groupby_2 | ) |
Definition at line 499 of file check_memory_pool.c.
START_TEST | ( | test_prod | ) |
Definition at line 565 of file check_memory_pool.c.
START_TEST | ( | test_prod_generator | ) |
Definition at line 632 of file check_memory_pool.c.
void teardown | ( | ) |
Definition at line 42 of file check_memory_pool.c.
Definition at line 610 of file check_memory_pool.c.
Definition at line 219 of file check_memory_pool.c.
Definition at line 451 of file check_memory_pool.c.
Definition at line 13 of file check_memory_pool.c.
Definition at line 12 of file check_memory_pool.c.
Definition at line 11 of file check_memory_pool.c.