Fix bug that prevents graph generation from compiling.
[model-checker.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         int maxreads;
10         int maxfuturedelay;
11         bool yieldon;
12         bool yieldblock;
13         bool sc_trace_analysis;
14         unsigned int fairwindow;
15         unsigned int enabledcount;
16         unsigned int bound;
17         unsigned int uninitvalue;
18
19         /** @brief Maximum number of future values that can be sent to the same
20          *  read */
21         int maxfuturevalues;
22
23         /** @brief Only generate a new future value/expiration pair if the
24          *  expiration time exceeds the existing one by more than the slop
25          *  value */
26         unsigned int expireslop;
27
28         /** @brief Verbosity (0 = quiet; 1 = noisy) */
29         int verbose;
30
31         /** @brief Command-line argument count to pass to user program */
32         int argc;
33
34         /** @brief Command-line arguments to pass to user program */
35         char **argv;
36 };
37
38 #endif /* __PARAMS_H__ */