5 * Model checker parameter structure. Holds run-time configuration options for
9 unsigned int uninitvalue;
12 bool threadsnocleanup;
14 /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
17 /** @brief Command-line argument count to pass to user program */
20 /** @brief Command-line arguments to pass to user program */
24 void param_defaults(struct model_params *params);
26 #endif /* __PARAMS_H__ */