Closed zhanghongce closed 4 years ago
Here is an overview of what got changed by this pull request:
Issues
======
- Added 2
Clones added
============
- src/vtarget-out/inv-syn/vtarget_gen_inv_abc.cc 4
- src/vtarget-out/vtarget_gen_impl.cc 2
- src/vtarget-out/vtarget_gen_relchc.cc 11
- src/vtarget-out/vtarget_gen_yosys.cc 5
- include/ilang/vtarget-out/vtarget_gen_relchc.h 8
- src/vtarget-out/single_target.cc 1
- src/vtarget-out/inv-syn/vtarget_gen_inv_chc.cc 3
- src/vtarget-out/vtarget_gen_cosa.cc 2
See the complete overview on Codacy
$
support in variable name (bsc generates identifiers with them)