1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
#ifndef THEFT_TYPES_INTERNAL_H
#define THEFT_TYPES_INTERNAL_H
typedef struct theft theft;
#define THEFT_MAX_TACTICS ((uint32_t)-1)
#define DEFAULT_THEFT_SEED 0xa600d16b175eedL
typedef enum {
ALL_GEN_OK, /* all arguments generated okay */
ALL_GEN_SKIP, /* skip due to user constraints */
ALL_GEN_DUP, /* skip probably duplicated trial */
ALL_GEN_ERROR, /* memory error or other failure */
} all_gen_res_t;
typedef enum {
SHRINK_OK, /* simplified argument further */
SHRINK_DEAD_END, /* at local minima */
SHRINK_ERROR, /* hard error during shrinking */
} shrink_res;
/* Testing context for a specific property function. */
struct theft_propfun_info {
const char *name; /* property name, can be NULL */
theft_propfun *fun; /* property function under test */
/* Type info for ARITY arguments. */
uint8_t arity; /* number of arguments */
struct theft_type_info *type_info[THEFT_MAX_ARITY];
/* Optional array of seeds to always run.
* Can be used for regression tests. */
int always_seed_count; /* number of seeds */
theft_seed *always_seeds; /* seeds to always run */
};
static theft_trial_res
call_fun(struct theft_propfun_info *info, void **args);
static bool run_trial(struct theft *t, struct theft_propfun_info *info,
void **args, theft_progress_cb *cb, void *env,
struct theft_trial_report *r, struct theft_trial_info *ti,
theft_progress_callback_res *cres);
static void mark_called(theft *t, struct theft_propfun_info *info,
void **args, void *env);
static bool check_called(theft *t, struct theft_propfun_info *info,
void **args, void *env);
static theft_progress_callback_res report_on_failure(theft *t,
struct theft_propfun_info *info,
struct theft_trial_info *ti, theft_progress_cb *cb, void *env);
static all_gen_res_t gen_all_args(theft *t, struct theft_propfun_info *info,
theft_seed seed, void *args[THEFT_MAX_ARITY], void *env);
static void free_args(struct theft_propfun_info *info,
void **args, void *env);
static theft_run_res theft_run_internal(struct theft *t,
struct theft_propfun_info *info,
int trials, theft_progress_cb *cb, void *env,
struct theft_trial_report *r);
static bool attempt_to_shrink(theft *t, struct theft_propfun_info *info,
void *args[], void *env);
static shrink_res
attempt_to_shrink_arg(theft *t, struct theft_propfun_info *info,
void *args[], void *env, int ai);
#endif
|
