5 * Model checker parameter structure. Holds run-time configuration options for
13 bool sc_trace_analysis;
14 unsigned int fairwindow;
15 unsigned int enabledcount;
17 unsigned int uninitvalue;
19 /** @brief Maximum number of future values that can be sent to the same
23 /** @brief Only generate a new future value/expiration pair if the
24 * expiration time exceeds the existing one by more than the slop
26 unsigned int expireslop;
28 /** @brief Verbosity (0 = quiet; 1 = noisy) */
31 /** @brief Command-line argument count to pass to user program */
34 /** @brief Command-line arguments to pass to user program */
38 #endif /* __PARAMS_H__ */