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

lsils / mockturtle
81%
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 window_rewriting
branch: window_rewriting
CHANGE BRANCH
x
Reset
Sync Branches
  • window_rewriting
  • 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/sim_resub
  • 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_utils
  • window_view
  • window_view_api
  • windowing
  • xmg

pending completion
778424576

Pull #449

github

GitHub
Merge 343ccfb4f into 7a772af6d
Pull Request #449: Window rewriting

4 of 7 new or added lines in 1 file covered. (57.14%)

10876 of 13375 relevant lines covered (81.32%)

73222.09 hits per line

Relevant lines Covered
Build:
Build:
13375 RELEVANT LINES 10876 COVERED LINES
73222.09 HITS PER LINE
Source Files on window_rewriting
  • Tree
  • List 118
  • Changed 14
  • Source Changed 1
  • Coverage Changed 14
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
778424576 window_rewriting Merge 343ccfb4f into 7a772af6d Pull #449 23 Apr 2021 05:12PM UTC GitHub github pending completion  
778182939 window_rewriting Merge cbbe628f8 into 7a772af6d Pull #449 23 Apr 2021 03:37PM UTC GitHub github pending completion  
778030727 window_rewriting Merge 52c74e807 into 7a772af6d Pull #449 23 Apr 2021 02:44PM UTC GitHub github pending completion  
764299413 window_rewriting Merge d54aa2513 into 7767e794b Pull #445 19 Apr 2021 05:02PM UTC GitHub github pending completion  
756630464 window_rewriting Merge 238aaa85a into 261e02a4b Pull #443 16 Apr 2021 07:16PM UTC GitHub github pending completion  
368784067 window_rewriting Merge 6ce6e2cf0 into e204723dd Pull #402 17 Nov 2020 07:30PM 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