tree 93106a827fae35a34c13bce59a3a1cae071e600c
parent a419873191d242b86cbb7fbe28f60fff4612be54
author Anestis Bechtsoudis <anestis@census-labs.com> 1461749659 +0300
committer Anestis Bechtsoudis <anestis@census-labs.com> 1461749659 +0300

Fix verifier null-deref bug

Verifier threads were not setting the timer, resulting
into a null-deref crash when first call to timer_gettime()
from verifier thread.

Signed-off-by: Anestis Bechtsoudis <anestis@census-labs.com>