int maxfuturedelay;
bool yieldon;
bool yieldblock;
- bool sc_trace_analysis;
unsigned int fairwindow;
unsigned int enabledcount;
unsigned int bound;
* value */
unsigned int expireslop;
- /** @brief Verbosity (0 = quiet; 1 = noisy) */
+ /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
int verbose;
/** @brief Command-line argument count to pass to user program */