Merge branch 'new_fuzzer' of /home/git/random-fuzzer into branch-weiyu
[c11tester.git] / params.h
1 #ifndef __PARAMS_H__
2 #define __PARAMS_H__
3
4 /**
5  * Model checker parameter structure. Holds run-time configuration options for
6  * the model checker.
7  */
8 struct model_params {
9         unsigned int uninitvalue;
10         int maxexecutions;
11
12         /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
13         int verbose;
14
15         /** @brief Command-line argument count to pass to user program */
16         int argc;
17
18         /** @brief Command-line arguments to pass to user program */
19         char **argv;
20 };
21
22 #endif  /* __PARAMS_H__ */