diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-09-14 10:51:09 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-09-14 10:51:09 +0200 |
commit | 197b6ffe2b656532f4901fdb3cc4bd618915479e (patch) | |
tree | 2f4c11d727e1f5791f153bcd8f521571f98c971c /scripts/smtbmc/tracecmp.smtc | |
parent | c209c016b35a085ccc6044dead7e0b8461b239ca (diff) | |
download | picorv32-197b6ffe2b656532f4901fdb3cc4bd618915479e.tar.gz picorv32-197b6ffe2b656532f4901fdb3cc4bd618915479e.zip |
Just COMPRESSED_ISA is enough to trigger the bug
Diffstat (limited to 'scripts/smtbmc/tracecmp.smtc')
0 files changed, 0 insertions, 0 deletions