5 * Model checker parameter structure. Holds run-time configuration options for
11 modelclock_t traceminsize;
12 modelclock_t checkthreshold;
15 /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
19 void param_defaults(struct model_params *params);
21 #endif /* __PARAMS_H__ */