5 * Model checker parameter structure. Holds run-time configuration options for
9 unsigned int uninitvalue;
13 /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
16 /** @brief Command-line argument count to pass to user program */
19 /** @brief Command-line arguments to pass to user program */
23 void param_defaults(struct model_params *params);
25 #endif /* __PARAMS_H__ */