From b9eed1f8a4986eab114e367eff893d536af5d189 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Wed, 23 Feb 2022 19:33:13 -0800 Subject: [PATCH] add running instructions --- src/soc/fu/shift_rot/formal/proof_main_stage.py | 7 +++++++ 1 file changed, 7 insertions(+) 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 -- 2.30.2