X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=97a898926e49dfd8480412c67a2900dfd8db5f15;hb=7372f39c67d6e4ea2dc142fca9c1b61c590af94c;hp=4fd2667753f4b3ae85698c6422921a1cf18163f7;hpb=b69a6cb48fdd66361adae1d3bbe0c0a743830966;p=model-checker.git

diff --git a/model.h b/model.h
index 4fd2667..97a8989 100644
--- a/model.h
+++ b/model.h
@@ -255,6 +255,7 @@ private:
 	struct execution_stats stats;
 	void record_stats();
 
+	void print_infeasibility(const char *prefix) const;
 	bool is_feasible_prefix_ignore_relseq() const;
 	bool is_infeasible_ignoreRMW() const;
 	bool is_infeasible() const;