[libre-riscv-dev] [Bug 130] FMIN/MAX needed

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Tue Jan 28 22:28:04 GMT 2020


http://bugs.libre-riscv.org/show_bug.cgi?id=130

--- Comment #5 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Michael Nolan from comment #4)
> > michael i included an import os and os.path.split(__file__) so that the read of > the .sby file is location-independent
> 
> I saw that, I made a small change to fix it when running the proof from the
> proof directory.
> 
> I'm planning on refactoring the proof runner into a separate file in
> fpcommon/ as well.

have a look at the nmigen/test/test_lib_fifo.py because i don't believe
it's necessary to manually call sby from a subprocess: nmigen should
take care of it.

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


More information about the libre-riscv-dev mailing list