• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

lsils / mockturtle
80%
master: 83%

Build:
Build:
LAST BUILD BRANCH: common
DEFAULT BRANCH: master
Repo Added 10 Apr 2020 02:52PM UTC
Token xMxkGLf1fgN0im5wChgAAPH5POKID0vT1 regen
Build 416 Last
Files 133
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH lee30sonia/sim_resub
branch: lee30sonia/sim_resub
CHANGE BRANCH
x
Reset
Sync Branches
  • lee30sonia/sim_resub
  • CMakeInterface
  • abc_index_list
  • abcresub
  • aiger_reader_with_names
  • aiger_writer
  • aletempiac/aqfp_integration
  • aletempiac/tech_mapper
  • aqfp_fix
  • aqfp_resyn
  • authors
  • bill
  • bit_packing
  • bugfix_11_04
  • bugfix_november_15
  • c++20
  • chached_aig_test
  • common
  • common2
  • coverage
  • coveralls
  • covering
  • cut_enumeration
  • db_gen
  • debug_utils
  • debugging_utils
  • docs
  • exact_cleanup
  • exact_xmg
  • fanout_cutrw
  • fix_aig_resub
  • fix_xag_fanin_opt
  • frontier
  • fuzz_tester
  • genlib
  • genlib_reader
  • hriener/rdcut
  • incremental_CNF
  • index_list
  • json
  • lee30sonia/aqfp_pi_splitter
  • lee30sonia/aqfp_view
  • lee30sonia/benchmarks
  • lee30sonia/deregister_event
  • lee30sonia/functional_reduction
  • lee30sonia/interfacing
  • lee30sonia/kresub
  • lee30sonia/mig_resub
  • lee30sonia/network_utils
  • lee30sonia/odc_exp
  • lee30sonia/partial_simulator
  • lee30sonia/patgen
  • lee30sonia/performance
  • lee30sonia/simulation
  • lee30sonia/validator
  • lee30sonia/validator_restart
  • lee30sonia/warnings
  • lee30sonia/xag_resyn
  • lsils/akers-fix
  • master
  • mig_partial_simulator
  • msoeken/balancing
  • msoeken/bill
  • msoeken/bugfix
  • msoeken/common
  • msoeken/cut-rewriting
  • msoeken/depth-view
  • msoeken/esop-balancing
  • msoeken/exact-mc
  • msoeken/exorcism
  • msoeken/inline
  • msoeken/linear-resyn
  • msoeken/verilog
  • msoeken/warning
  • msoeken/warnings
  • msoeken/xag-fix
  • node_map
  • node_resyn
  • patch-1
  • patch-2
  • percy
  • random_logic_network
  • random_xag_logic
  • reconv_cut
  • resub-tests
  • resub_docs
  • resyn_exact
  • self_dualize
  • semicolon_fix
  • substitute_bugfix
  • substitute_nodes
  • use_parallel_hash
  • validator
  • window_quality
  • window_rewriting
  • window_utils
  • window_view
  • window_view_api
  • windowing
  • xmg

pending completion
  cancel
176837661

Pull #373

github

GitHub
Merge cf3b7f4d6 into 868afd0fd
Pull Request #373: Simulation-guided Boolean resubstitution & unified resub framework

536 of 536 new or added lines in 10 files covered. (100.0%)

9369 of 11784 relevant lines covered (79.51%)

86430.41 hits per line

Relevant lines Covered
Build:
Build:
11784 RELEVANT LINES 9369 COVERED LINES
86430.41 HITS PER LINE
Source Files on lee30sonia/sim_resub
  • Tree
  • List 109
  • Changed 41
  • Source Changed 11
  • Coverage Changed 40
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
176837661 lee30sonia/sim_resub Merge cf3b7f4d6 into 868afd0fd Pull #373 21 Jul 2020 09:14AM UTC GitHub github pending completion  
176810542 lee30sonia/sim_resub Merge 1cd0c5801 into 868afd0fd Pull #373 21 Jul 2020 08:42AM UTC GitHub github pending completion  
176790766 lee30sonia/sim_resub Merge dc8440ac7 into 868afd0fd Pull #373 21 Jul 2020 08:26AM UTC GitHub github pending completion  
167463492 lee30sonia/sim_resub Merge ad28127de into 868afd0fd Pull #373 13 Jul 2020 02:39PM UTC GitHub github pending completion  
167163231 lee30sonia/sim_resub Merge df695e1fe into 868afd0fd Pull #373 13 Jul 2020 09:51AM UTC GitHub github pending completion  
167105537 lee30sonia/sim_resub Merge 6c9e5e6f2 into 868afd0fd Pull #373 13 Jul 2020 09:00AM UTC GitHub github pending completion  
163512599 lee30sonia/sim_resub Merge 88afeb844 into 868afd0fd Pull #373 09 Jul 2020 04:39PM UTC GitHub github pending completion  
160852367 lee30sonia/sim_resub Merge 607b9d8bd into 1fa274d07 Pull #373 07 Jul 2020 04:23PM UTC GitHub github pending completion  
See All Builds (159)

Badge your Repo: mockturtle

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc