From fa9d8a1e20b764e0d4d49813b83a9c3c9d9dff62 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@gnu.org>
Date: Mon, 4 May 2009 22:30:02 -0700
Subject: [PATCH] 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.
---
 src/libpspp/model-checker.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))
-- 
2.30.2