From: Jacob Lifshay <programmerjake@gmail.com>
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