diff options
| author | Prashanth Mundkur | 2018-11-07 09:53:49 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-11-07 10:04:01 -0800 |
| commit | a94764487724e26292b8f8e150f94fb934a40a81 (patch) | |
| tree | ca36e94356de033651930aadd8c2125b290f64f4 /src/initial_check.ml | |
| parent | 18c49a76854408d7c2cea74eeb07fd312a5927aa (diff) | |
RISC-V: add some consistency checks when run with spike.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions