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