Even if a state with an error is a duplicate, we don't want to discard it,
because then we lose information about bugs.
bool
mc_discard_dup_state (struct mc *mc, unsigned int hash)
{
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))
{
hash &= (1u << mc->options->hash_bits) - 1;
if (TEST_BIT (mc->hash, hash))