X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Fsoc%2Ffu%2Fshift_rot%2Fformal%2Fproof_main_stage.py;h=7ef3258fabb04fa254b65df395b1c5945e4c3d46;hb=b9eed1f8a4986eab114e367eff893d536af5d189;hp=2423518b672e8527e6ae5fbd8582ef9484a161d5;hpb=033b1352a30d1a1cba2f7a854b5ae076a7733c16;p=soc.git

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