[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Pspp-cvs] pspp/src/libpspp model-checker.h [simpler-proc]

From: Ben Pfaff
Subject: [Pspp-cvs] pspp/src/libpspp model-checker.h [simpler-proc]
Date: Thu, 19 Apr 2007 03:59:40 +0000

CVSROOT:        /cvsroot/pspp
Module name:    pspp
Branch:         simpler-proc
Changes by:     Ben Pfaff <blp> 07/04/19 03:59:40

Modified files:
        src/libpspp    : model-checker.h 

Log message:
        Fix URL in comment.


Index: model-checker.h
RCS file: /cvsroot/pspp/pspp/src/libpspp/Attic/model-checker.h,v
retrieving revision
retrieving revision
diff -u -b -r1.1.2.4 -r1.1.2.5
--- model-checker.h     18 Apr 2007 23:16:53 -0000
+++ model-checker.h     19 Apr 2007 03:59:40 -0000
@@ -53,7 +53,7 @@
      General Approach to Finding Serious Errors in Storage
      Systems", First Workshop on the Evaluation of Software
      Defect Detection Tools (BUGS), June 2005.
    Use of a model checker is appropriate when the system being
    checked is difficult to test using handwritten tests.  This

reply via email to

[Prev in Thread] Current Thread [Next in Thread]