log

age author description
Fri, 15 Apr 2011 03:06:29 +0300 Oleg Oshmyan Wall-clock time limit is now enforced on the output wall-clock time
Tue, 12 Apr 2011 22:25:18 +0300 Oleg Oshmyan Fixed a few race conditions in unix.call triggered by very fast testees
Sun, 10 Apr 2011 00:59:40 +0300 Oleg Oshmyan Wall-clock time is output when maxwalltime but not maxcputime now on Win32 too