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

[bugzilla-daemon at libre-riscv.org]

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

--- Comment #4 from Michael Nolan <mtnolan2640 at gmail.com> ---
> 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.

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