diff options
| author | Alastair Reid | 2018-06-28 17:12:13 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-06-28 17:40:02 +0100 |
| commit | 7dc09d0693d042867e73420acd4ff88707dc6da2 (patch) | |
| tree | a63d009b9c69ac7f5febe42cb3ef8fb46317c507 /src/bytecode_util.ml | |
| parent | b98b4f1181f6b3a3f239ade0ab407771cae35867 (diff) | |
RTS: Add --verbosity flag to C model
This is interpreted as a set of bits that control various bits of output.
Bit 0 is print the PC on every cycle.
(It would probably be useful to standardise a few of these flags across
all models. Other candidates are accesses to physical memory, throwing
SAIL exceptions, current privilege level, ...)
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions