diff --git a/Makefile b/Makefile
index df34f03..9b1b01a 100644
--- a/Makefile
+++ b/Makefile
@@ -49,3 +49,7 @@ view-docs: docs
 test:
 	export PYTHONPATH=.;python -m pytest --ignore=venv --ignore-glob="venv_*"
 
+.PHONY: testv
+testv:
+	export PYTHONPATH=.;python -m pytest -s --ignore=venv --ignore-glob="venv_*"
+
diff --git a/tests/test_nnf.py b/tests/test_nnf.py
index 4d8fea9..b2c5f2c 100644
--- a/tests/test_nnf.py
+++ b/tests/test_nnf.py
@@ -70,12 +70,15 @@ def test_psdd1():
 
 
 def test_dimacs1():
+    """This test fails on Windows because of a mismatch between 64b and 32b data types."""
     fn_dimacs = here / "rsrc" / "dimacs1.txt"
     fn_vtree = here / "rsrc" / "dimacs1.vtree"
     fn_vtree_sol = here / "rsrc" / "dimacs1_solution.vtree"
     fn_sdd = here / "rsrc" / "dimacs1.sdd"
     cli.main(["-c", str(fn_dimacs), "-W", str(fn_vtree), "-R", str(fn_sdd)])
     assert filecmp.cmp(fn_vtree, fn_vtree_sol)
+    with fn_vtree.open("r") as fp:
+        print(fp.read())
 
 
 if __name__ == "__main__":