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)
the number must be an integer, whose value is the
desired number of digits after the decimal point
for all timestamps registered when tracing


No differences found