Open lgeretti opened 8 years ago
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
As it happens, the evaluation of the accumulated time is too coarse. This results in earlier termination unless we use a very high time.
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
As it happens, the evaluation of the accumulated time is too coarse. This results in earlier termination unless we use a very high time.