X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=params.h;h=af49c6b0026fe7b17d451cd2a014925bbe140cf4;hb=509ea2631fffda65d966c4ddd1e18a5c2eda89c0;hp=0b1c5bf7e33b47bd5755289d1fc3e896b807f489;hpb=82f6d9ab97a87e874fb1b5dfa237266f4bfc95d1;p=c11tester.git diff --git a/params.h b/params.h index 0b1c5bf7..af49c6b0 100644 --- a/params.h +++ b/params.h @@ -6,23 +6,16 @@ * the model checker. */ struct model_params { - int maxreads; - bool yieldon; - bool yieldblock; - unsigned int fairwindow; - unsigned int enabledcount; - unsigned int bound; - unsigned int uninitvalue; int maxexecutions; + bool nofork; + modelclock_t traceminsize; + modelclock_t checkthreshold; + bool removevisible; /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */ int verbose; - - /** @brief Command-line argument count to pass to user program */ - int argc; - - /** @brief Command-line arguments to pass to user program */ - char **argv; }; -#endif /* __PARAMS_H__ */ +void param_defaults(struct model_params *params); + +#endif /* __PARAMS_H__ */