X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=params.h;h=7f749cae6fc082d1551fdfb86f0c5728cf176fbc;hb=651e9182baf50ef1e235ad7a587730b989bb44c7;hp=c190066bec52a5593f48d436989ba5febd85d39a;hpb=995962127d29a128fa2de578f47953308600b605;p=c11tester.git

diff --git a/params.h b/params.h
index c190066b..7f749cae 100644
--- a/params.h
+++ b/params.h
@@ -8,6 +8,7 @@
 struct model_params {
 	unsigned int uninitvalue;
 	int maxexecutions;
+	bool nofork;
 
 	/** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
 	int verbose;
@@ -19,4 +20,6 @@ struct model_params {
 	char **argv;
 };
 
+void param_defaults(struct model_params *params);
+
 #endif	/* __PARAMS_H__ */