cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert.
authorwhitequark <whitequark@whitequark.org>
Wed, 2 Dec 2020 19:41:00 +0000 (19:41 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 2 Dec 2020 19:41:00 +0000 (19:41 +0000)
commitaa0a15a42cf7513697b3d93457a69ecf2d8b9e05
tree12dcb30f7e147ac271f2bdf440297d4fb2c738c5
parent7b0cfd5c36af774ae255459d4ef0fa0934929902
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.
backends/cxxrtl/cxxrtl.h
backends/cxxrtl/cxxrtl_backend.cc