From 0a343dd204223d7351aa709039cf7b1564a038b6 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 2 Oct 2012 11:02:46 -0700 Subject: [PATCH] model: fix "earliest diverge" NULL pointer exception --- model.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 1598fb9a..ae0a787f 100644 --- a/model.cc +++ b/model.cc @@ -183,7 +183,10 @@ bool ModelChecker::next_execution() num_executions++; if (isfinalfeasible()) { printf("Earliest divergence point since last feasible execution:\n"); - earliest_diverge->print(); + if (earliest_diverge) + earliest_diverge->print(); + else + printf("(Not set)\n"); earliest_diverge = NULL; num_feasible_executions++; -- 2.34.1