From: Ben Pfaff <blp@gnu.org>
Date: Tue, 5 May 2009 05:30:02 +0000 (-0700)
Subject: model-checker: Don't discard error states.
X-Git-Tag: v0.7.3~90
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=fa9d8a1e20b764e0d4d49813b83a9c3c9d9dff62

model-checker: Don't discard error states.

Even if a state with an error is a duplicate, we don't want to discard it,
because then we lose information about bugs.
---

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index 6068713c..62eef04e 100644
--- a/src/libpspp/model-checker.c
+++ b/src/libpspp/model-checker.c
@@ -1057,7 +1057,7 @@ mc_include_state (struct mc *mc)
 bool
 mc_discard_dup_state (struct mc *mc, unsigned int hash)
 {
-  if (mc->options->hash_bits > 0)
+  if (!mc->state_error && mc->options->hash_bits > 0)
     {
       hash &= (1u << mc->options->hash_bits) - 1;
       if (TEST_BIT (mc->hash, hash))