# HG changeset patch # User cannam # Date 1237382008 0 # Node ID df121992f23a0b33aec0eed6212b8ab3d2d00a77 # Parent 7dd6a549b2f9af6e24f24a8b412f10ff7cc75744 ... diff -r 7dd6a549b2f9 -r df121992f23a TestMultipleRuns.cpp --- a/TestMultipleRuns.cpp Wed Mar 18 12:20:28 2009 +0000 +++ b/TestMultipleRuns.cpp Wed Mar 18 13:13:28 2009 +0000 @@ -229,7 +229,7 @@ string message = "Consecutive runs with different starting timestamps produce the same result"; Result res; if (options & NonDeterministic) res = note(message); - else res = error(message); + else res = warning(message); if (options & Verbose) dump(res, f[0], f[1]); r.push_back(res); } else {