projects / pspp-builds.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d724fe4) | patch
model-checker: Don't discard error states.
authorBen Pfaff <blp@gnu.org>
Tue, 5 May 2009 05:30:02 +0000 (22:30 -0700)
committerBen Pfaff <blp@gnu.org>
Sun, 7 Jun 2009 04:11:07 +0000 (21:11 -0700)
commitfa9d8a1e20b764e0d4d49813b83a9c3c9d9dff62
treeb2fe49ada4d43983100e2e5c7e086d1f7fab6a6etree | snapshot
parentd724fe4838db898a323102e4f2981af90c9ea132commit | diff
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 diff | blob | history
PSPP build tags.