From: Jannis Harder <me@jix.one>
Date: Fri, 17 Jun 2022 17:08:14 +0000 (+0200)
Subject: Merge pull request #3383 from jix/write_formal_map_roms
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e6a5d84149b51640e658145618bb4f6b8b31bb33;p=yosys.git

Merge pull request #3383 from jix/write_formal_map_roms

smt2, btor: Use memory_map -rom-only to make ROMs usable for k-induction
---

e6a5d84149b51640e658145618bb4f6b8b31bb33