projects
/
pspp-builds.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
6171d2d
)
datasheet-test: Check duplicate states before discarding them.
author
Ben Pfaff
<blp@gnu.org>
Sat, 30 May 2009 04:26:13 +0000
(21:26 -0700)
committer
Ben Pfaff
<blp@gnu.org>
Sun, 7 Jun 2009 04:11:17 +0000
(21:11 -0700)
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.
No differences found