• 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/patgen
branch: lee30sonia/patgen
CHANGE BRANCH
x
Reset
Sync Branches
  • lee30sonia/patgen
  • 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/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_rewriting
  • window_utils
  • window_view
  • window_view_api
  • windowing
  • xmg

pending completion
  cancel
155749390

Pull #370

github

GitHub
Merge d5873d4ee into 76e0241f8
Pull Request #370: Expressive simulation pattern generation

246 of 246 new or added lines in 5 files covered. (100.0%)

9100 of 11381 relevant lines covered (79.96%)

83383.38 hits per line

Relevant lines Covered
Build:
Build:
11381 RELEVANT LINES 9100 COVERED LINES
83383.38 HITS PER LINE
Source Files on lee30sonia/patgen
  • Tree
  • List 103
  • Changed 22
  • Source Changed 4
  • Coverage Changed 22
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
155749390 lee30sonia/patgen Merge d5873d4ee into 76e0241f8 Pull #370 02 Jul 2020 07:19PM UTC GitHub github pending completion  
155599513 lee30sonia/patgen Merge b8503a54d into 76e0241f8 Pull #370 02 Jul 2020 04:40PM 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