From 25f9acabac6c2d2ba5041a6b513f6fe93d52c5c9 Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Sun, 4 Feb 2001 19:00:03 +0000
Subject: [PATCH] corrected preconditions

[SVN r8925]
---
 include/boost/pending/iterator_tests.hpp | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/include/boost/pending/iterator_tests.hpp b/include/boost/pending/iterator_tests.hpp
index fcdbb76..13b83de 100644
--- a/include/boost/pending/iterator_tests.hpp
+++ b/include/boost/pending/iterator_tests.hpp
@@ -5,7 +5,9 @@
 // test suite for STL concepts such as iterators and containers.
 //
 // Revision History:
-// 04 Feb 2001  Added lvalue test (David Abrahams)
+// 04 Feb 2001  Added lvalue test, corrected preconditions
+//              (David Abrahams)
+
 #include <iterator>
 #include <assert.h>
 
@@ -95,7 +97,7 @@ void forward_iterator_test(Iterator i, T v1, T v2)
   (void)p;
 }
 
-// Preconditions: *i == v1, *++i == v2
+// Preconditions: *i == v1, *++i == v2, --i
 template <class Iterator, class T>
 void bidirectional_iterator_test(Iterator i, T v1, T v2)
 {
@@ -122,7 +124,7 @@ void bidirectional_iterator_test(Iterator i, T v1, T v2)
 
 // mutable_bidirectional_iterator_test
 
-// Preconditions: [i,i+N) is a valid range
+// Preconditions: [i-1,i+N) is a valid range
 template <class Iterator, class TrueVals>
 void random_access_iterator_test(Iterator i, int N, TrueVals vals)
 {