From a7f7c2cee14f0300d6c440b539a6c49b5b4567c7 Mon Sep 17 00:00:00 2001 From: Sergey Lukjanov Date: Mon, 10 Aug 2015 18:35:40 +0300 Subject: [PATCH] Increase coverage report precision It sets the number of digits after the decimal point to display for reported coverage percentages. The default is 0, displaying for example "87%". A value of 3 will display percentages like "87.325%". Change-Id: I0313e9d7bead4a229f03cec6f603709502757394 --- .coveragerc | 1 + 1 file changed, 1 insertion(+) diff --git a/.coveragerc b/.coveragerc index 8643c037a6..1a432d09d0 100644 --- a/.coveragerc +++ b/.coveragerc @@ -11,3 +11,4 @@ source = sahara [report] ignore-errors = True +precision = 3