params.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   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.
   8  */
   9
  10 #ifndef __PARAMS_H__
  11 #define __PARAMS_H__
  12
  13 /**
  14  * Model checker parameter structure. Holds run-time configuration options for
  15  * the model checker.
  16  */
  17 struct model_params {
  18         /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
  19         int verbose;
  20
  21         /** @brief Avoid executiny yields. */
  22         bool noyields;
  23
  24         /** @brief Only explore branches. */
  25         bool branches;
  26
  27         /** @brief Command-line argument count to pass to user program */
  28         int argc;
  29
  30         /** @brief Command-line arguments to pass to user program */
  31         char **argv;
  32 };
  33
  34 #endif /* __PARAMS_H__ */