[Libre-soc-bugs] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=340

--- Comment #32 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Samuel A. Falvo II from comment #31)
> Added a unit test covering the failing proof case.  However, I'm unable to
> run the unit tests for some reason.  I get a big pile of errors. 

you'll need to be a lot more specific.  "it don't work" means nothing to
anyone, i'm afraid.

first thing: global search replace "def case_" with "def cse_" except on the
one test to run.

this drastically cuts down output to only that which is useful.

then run only that one test with nohup and attach the output, here.

it is highly likely that you do not have all dependencies installed.  this is
dead easy to spot (import error).

-- 
You are receiving this mail because:
You are on the CC list for the bug.