Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
new option to set trace timestamp precision
authorLucas Schnorr <schnorr@inf.ufrgs.br>
Fri, 10 Jul 2015 16:59:09 +0000 (13:59 -0300)
committerLucas Schnorr <schnorr@inf.ufrgs.br>
Fri, 10 Jul 2015 16:59:09 +0000 (13:59 -0300)
commit8842f6e9b70113e86aed3525099b028c6bd0535c
treea23d93bff441ad9f1daad790f35e296f80f90425
parent85cb15c2b564f7557aee4d98e93176ce4c39ef73
new option to set trace timestamp precision

the number must be an integer, whose value is the
desired number of digits after the decimal point
for all timestamps registered when tracing
src/instr/instr_config.c
src/instr/instr_private.h