$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Powell, Gary (powellg_at_[hidden])
Date: 2002-05-02 16:22:49
So would the use of the boost Date/Time library have caught this
time/clock bug?
>
> http://www.ima.umn.edu/~arnold/disasters/patriot.html
>
> list of famous bugs
> http://wwwzenger.informatik.tu-muenchen.de/persons/huckle/bugse.html
Yours,
-gary-