neelgala opened this issue 3 years ago · 0 comments
Ths following configuration must generate an error:
ISA: RV32IMAC supported_xlen: [64]