From 113ff95ec59792f53150f027535c16165fd34c12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mart=C3=AD=20Bol=C3=ADvar?= <mbolivar@amperecomputing.com>
Date: Wed, 27 Sep 2023 12:51:36 -0700
Subject: [PATCH] tox.ini: generate HTML coverage output
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This makes it trivial to inspect, line by line, what got covered.
That is useful when evaluating coverage for a new feature.

Signed-off-by: Martí Bolívar <mbolivar@amperecomputing.com>
---
 tox.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tox.ini b/tox.ini
index 7983960..d342a56 100644
--- a/tox.ini
+++ b/tox.ini
@@ -37,6 +37,6 @@ setenv =
     # For instance: ./.tox/py3/tmp/
     TOXTEMPDIR={envtmpdir}
 commands =
-  python -m pytest --cov=west {posargs:tests} --basetemp='{envtmpdir}/pytest with space/'
+  python -m pytest --cov-report=html --cov=west {posargs:tests} --basetemp='{envtmpdir}/pytest with space/'
   python -m flake8 --config='{toxinidir}'/tox.ini '{toxinidir}'
   python -m mypy --config-file='{toxinidir}'/tox.ini --package=west