From: bdemsky <bdemsky@uci.edu>
Date: Tue, 6 May 2014 17:25:57 +0000 (-0400)
Subject: fix signed/unsigned warning
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=6a5a3a8f8ecddf4b3302039b6dbde915557b4234

fix signed/unsigned warning
---

diff --git a/params.h b/params.h
index c5b617bc..d5fd1cb3 100644
--- a/params.h
+++ b/params.h
@@ -14,7 +14,7 @@ struct model_params {
 	unsigned int enabledcount;
 	unsigned int bound;
 	unsigned int uninitvalue;
-	unsigned int maxexecutions;
+	int maxexecutions;
 
 	/** @brief Maximum number of future values that can be sent to the same
 	 *  read */