rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
61 stars 10 forks source link

Add back temporary idmap of extra sections #35

Closed bensimner closed 3 years ago

bensimner commented 3 years ago

The old code used to generate 8 4K sections starting at 0x1000 as identically-mapped code pages.

This commit adds that back so the tests work, but we should really read the sections from the .toml and then map those explicitly.