5 * Model checker parameter structure. Holds run-time configuration options for
9 unsigned int uninitvalue;
13 /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
17 void param_defaults(struct model_params *params);
19 #endif /* __PARAMS_H__ */