Add tests for cross platform

ML-KULeuven · Oct 11, 2023 · 3516c1f · 3516c1f
1 parent 801efb8
commit 3516c1f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git 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
@@ -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__":