diff options
| author | Alasdair Armstrong | 2020-02-03 19:11:37 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2020-02-03 19:11:37 +0000 |
| commit | d4fc0ac3ced52d28a1046b6fdfc45d7c8c0afd56 (patch) | |
| tree | 3b8952f1e4b07b808b249edf41bb428b5cacd45e /src/interactive.ml | |
| parent | 351ef1e7214704f9f404ff60a9c95bc62313820e (diff) | |
Add an __instr_announce builtin in regfp.sail
Allows keeping track of which instructions actually get executed in a trace
Diffstat (limited to 'src/interactive.ml')
0 files changed, 0 insertions, 0 deletions