From: Jacob Lifshay Date: Thu, 24 Feb 2022 03:33:13 +0000 (-0800) Subject: add running instructions X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9eed1f8a4986eab114e367eff893d536af5d189;p=soc.git add running instructions --- diff --git a/src/soc/fu/shift_rot/formal/proof_main_stage.py b/src/soc/fu/shift_rot/formal/proof_main_stage.py index 2423518b..7ef3258f 100644 --- a/src/soc/fu/shift_rot/formal/proof_main_stage.py +++ b/src/soc/fu/shift_rot/formal/proof_main_stage.py @@ -3,6 +3,13 @@ """ Links: * https://bugs.libre-soc.org/show_bug.cgi?id=340 + +run tests with: +pip install pytest +pip install pytest-xdist +pytest -n auto src/soc/fu/shift_rot/formal/proof_main_stage.py +because that tells pytest to run the tests in parallel, it will take a few +minutes instead of an hour. """ import unittest