diff options
| author | whitequark <whitequark@whitequark.org> | 2020-12-02 23:36:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-02 23:36:22 +0000 |
| commit | 3e13cfe53dd62f71820b227d4c04cc47bbb95001 (patch) | |
| tree | f51b573a0aae2accf93e77c5709b7422974b7de8 /frontends/verific/verific.cc | |
| parent | 3cb109f54bb35ad1c29474c2742c8767535174e1 (diff) | |
| parent | aa0a15a42cf7513697b3d93457a69ecf2d8b9e05 (diff) | |
| download | yosys-3e13cfe53dd62f71820b227d4c04cc47bbb95001.tar.gz yosys-3e13cfe53dd62f71820b227d4c04cc47bbb95001.tar.bz2 yosys-3e13cfe53dd62f71820b227d4c04cc47bbb95001.zip | |
Merge pull request #2468 from whitequark/cxxrtl-assert
cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions