Anders Eknert 6c3f363de3 Don't use rounding for coverage calculation (#6308) ...

Perhaps it looks prettier, but this is only reported in
JSON output, so I don't think we should decide on what
precision to use there.

On coverage < threshold error, we still print using 2
decimals, which is Pretty (tm).

Fixes #6307

Signed-off-by: Anders Eknert <anders@eknert.com>

2023-10-12 06:49:09 +02:00

..

cover_bench_test.go

rego: Plumb the newer QueryTracer through Rego API's

2020-07-15 12:01:12 -07:00

cover_test.go

Don't use rounding for coverage calculation (#6308)

2023-10-12 06:49:09 +02:00

cover.go

Don't use rounding for coverage calculation (#6308)

2023-10-12 06:49:09 +02:00