• Added support for cores outside of riscv-formal repository by adding … 

    …--basedir arg

to genchecks.py.
    @stevehoover
    stevehoover committed Sep 20, 2018
    8071235