5 * Model checker parameter structure. Holds run-time configuration options for
12 unsigned int fairwindow;
13 unsigned int enabledcount;
15 unsigned int uninitvalue;
18 /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
21 /** @brief Command-line argument count to pass to user program */
24 /** @brief Command-line arguments to pass to user program */
28 #endif /* __PARAMS_H__ */