X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=fba6eccdcbfb23f45740fc1fad08b32e74fa564b;hp=b5c7c30520cb7138cb4219bf8c35a21a6c69d0ab;hb=5ceb41c1ae83da9e1d53e1a6c03c9c8f147543d5;hpb=e61244213160c2151a77c7cf8ca8beb865e62140

diff --git a/model.h b/model.h
index b5c7c30..fba6ecc 100644
--- a/model.h
+++ b/model.h
@@ -287,6 +287,7 @@ private:
 	bool is_feasible_prefix_ignore_relseq() const;
 	bool is_infeasible() const;
 	bool is_deadlocked() const;
+	bool too_many_steps() const;
 	bool is_complete_execution() const;
 	bool have_bug_reports() const;
 	void print_bugs() const;