From 76f154c9e064abd163662c24232a766d10ae55b9 Mon Sep 17 00:00:00 2001 From: whitequark Date: Fri, 6 Nov 2020 01:38:03 +0000 Subject: [PATCH] CI: run testsuite with -Werror. --- .github/workflows/main.yaml | 1 + tests/utils.py | 7 ++++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 9bda4c5..cbc50d6 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -33,6 +33,7 @@ jobs: - name: Run tests run: | export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc + export PYTHONWARNINGS=error python -m coverage run -m unittest codecov document: diff --git a/tests/utils.py b/tests/utils.py index 6a50df0..0df4cab 100644 --- a/tests/utils.py +++ b/tests/utils.py @@ -74,9 +74,10 @@ class FHDLTestCase(unittest.TestCase): script=script, rtlil=rtlil.convert(Fragment.get(spec, platform="formal")) ) - with subprocess.Popen([require_tool("sby"), "-f", "-d", spec_name], cwd=spec_dir, - universal_newlines=True, - stdin=subprocess.PIPE, stdout=subprocess.PIPE) as proc: + with subprocess.Popen( + [require_tool("sby"), "-f", "-d", spec_name], + cwd=spec_dir, env={**os.environ, "PYTHONWARNINGS":"ignore"}, + universal_newlines=True, stdin=subprocess.PIPE, stdout=subprocess.PIPE) as proc: stdout, stderr = proc.communicate(config) if proc.returncode != 0: self.fail("Formal verification failed:\n" + stdout) -- 2.30.2