X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=4fc32c6db6c2800d2bdf705d7a8b256683968bab;hb=202074f941d19cef894068e7f79d76b2df598f4b;hp=3d3eba78db81ee8a2904c1e14ed37102e4c4a930;hpb=65a0c0d8d991b2775d15934b07cb51b422a5d20b;p=model-checker.git

diff --git a/model.h b/model.h
index 3d3eba7..4fc32c6 100644
--- a/model.h
+++ b/model.h
@@ -100,6 +100,7 @@ private:
 	bool has_asserted() {return asserted;}
 	void reset_asserted() {asserted=false;}
 	int num_executions;
+	int num_feasible_executions;
 	bool promises_expired();
 	const model_params params;