datasheet-test: Check duplicate states before discarding them.
authorBen Pfaff <blp@gnu.org>
Sat, 30 May 2009 04:26:13 +0000 (21:26 -0700)
committerBen Pfaff <blp@gnu.org>
Sun, 7 Jun 2009 04:11:17 +0000 (21:11 -0700)
commit6171d2d41a551af903fd444e10f77bb77b563359
tree72474ebd7256ba6250c61d48c7a1eb53c7d26b47
parent02a03f8e7a3bdb796974fa683a60d66fad37d3eb
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.
tests/data/datasheet-test.c