Skip to content

do not round reported durations to seconds#1870

Merged
kroening merged 1 commit intodevelopfrom
chrono-precision
Feb 21, 2018

Commits

Commits on Feb 21, 2018