/ test / external / riscof / config.ini
config.ini
 1  [RISCOF]
 2  ReferencePlugin=spike_simple
 3  ReferencePluginPath=./spike_simple
 4  DUTPlugin=coreblocks
 5  DUTPluginPath=./coreblocks
 6  
 7  [coreblocks]
 8  pluginpath=./coreblocks
 9  PATH=../../../../
10  ispec=./coreblocks/coreblocks_isa.yaml
11  pspec=./coreblocks/coreblocks_platform.yaml
12  target_run=0
13  
14  [spike_simple]
15  pluginpath=./spike_simple
16  PATH=/spike/install/bin/
17  ispec=./spike_simple/spike_simple_isa.yaml
18  pspec=./spike_simple/spike_simple_platform.yaml
19  compare_run=0