projects
/
soc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add running instructions
[soc.git]
/
src
/
soc
/
fu
/
shift_rot
/
formal
/
proof_main_stage.py
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 2423518b672e8527e6ae5fbd8582ef9484a161d5..7ef3258fabb04fa254b65df395b1c5945e4c3d46 100644
(file)
--- 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
"""
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
"""
import unittest