moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Dispatch terminates with time considerably over timeout limit #155

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

The final statistic written to log/finish.log will, for instance, record the final time as 920s, whereas the timeout was set to 900s. I could understand if it were off by a second or two, but being that long past the timeout implies there's something wrong.

Being a few seconds off won't jeopardize testing, so this is a low, albeit curious, priority.