Merge pull request #3383 from jix/write_formal_map_roms
authorJannis Harder <me@jix.one>
Fri, 17 Jun 2022 17:08:14 +0000 (19:08 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Jun 2022 17:08:14 +0000 (19:08 +0200)
commite6a5d84149b51640e658145618bb4f6b8b31bb33
tree929b5c297563f8e081fc118afb0566576bbf4968
parentab3a9325c33b5b1b9de6971b6931ee12c3e3871c
parent4adef63cd484d81da08ae6b5fe49b1d5d4d0b369
Merge pull request #3383 from jix/write_formal_map_roms

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