From: Ben Pfaff <blp@gnu.org>
Date: Sat, 30 May 2009 04:26:13 +0000 (-0700)
Subject: datasheet-test: Check duplicate states before discarding them.
X-Git-Tag: v0.7.3~65
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6171d2d41a551af903fd444e10f77bb77b563359;hp=6171d2d41a551af903fd444e10f77bb77b563359;p=pspp-builds.git

datasheet-test: Check duplicate states before discarding them.

By failing to check states whose hashes already appeared in the model
checker table, the datasheet test was missing some bugs.  This commit
changes the datasheet test code to check the state before it checks for
the hash.
---