diff options
| author | whitequark <whitequark@whitequark.org> | 2020-12-02 19:41:00 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2020-12-02 19:41:00 +0000 |
| commit | aa0a15a42cf7513697b3d93457a69ecf2d8b9e05 (patch) | |
| tree | 12dcb30f7e147ac271f2bdf440297d4fb2c738c5 /frontends | |
| parent | 7b0cfd5c36af774ae255459d4ef0fa0934929902 (diff) | |
| download | yosys-aa0a15a42cf7513697b3d93457a69ecf2d8b9e05.tar.gz yosys-aa0a15a42cf7513697b3d93457a69ecf2d8b9e05.tar.bz2 yosys-aa0a15a42cf7513697b3d93457a69ecf2d8b9e05.zip | |
cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert.
RTL contract violations and C++ contract violations are different:
the former depend on the netlist and will never violate memory safety
whereas the latter may. When loading a CXXRTL simulation into another
process, RTL contract violations should generally not crash it, while
C++ contract violations should.
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions