[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