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/notrap_validop.v | |
| 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/notrap_validop.v')
0 files changed, 0 insertions, 0 deletions