4 lines
70 B
Coq
4 lines
70 B
Coq
|
//Runtime Verbosity
|
||
|
|
`define DEBUG_REG_WRITES
|
||
|
|
`define DEBUG_PC_ADDRESS
|