1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
14 * Model checker parameter structure. Holds run-time configuration options for
18 /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
21 /** @brief Avoid executing yields. */
24 /** @brief Only explore branches. */
27 /** @brief Command-line argument count to pass to user program */
30 /** @brief Command-line arguments to pass to user program */
34 #endif/* __PARAMS_H__ */