From: Ben Pfaff <blp@gnu.org>
Date: Tue, 5 May 2009 05:27:05 +0000 (-0700)
Subject: model-checker: Revise advice on checking for duplicates.
X-Git-Tag: v0.7.3~91
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d724fe4838db898a323102e4f2981af90c9ea132;hp=d724fe4838db898a323102e4f2981af90c9ea132;p=pspp-builds.git

model-checker: Revise advice on checking for duplicates.

Until now the documentation on the model checker has advised checking for
a duplicate state before checking for consistency, but in fact this can
cause bugs to be missed if only some paths to a given state yield
incorrect results.  So revise the advice to check for consistency before
checking for a duplicate state.
---