lsils / bill
95%
master: 95%

Repo Added 12 Apr 2020 08:41AM UTC

Token MoGzZ9xQ3ufzAXVyYPxsuJlWPBEJ8Cr6Q regen

Build 59 Last

Files 13

Badge

LAST BUILD ON BRANCH hriener/min_core
branch: hriener/min_core

CHANGE BRANCH
x

Reset

Sync Branches

hriener/min_core

CI

coverage

cudd

hriener/bugfix

hriener/docs

lee30sonia/bsat2

lee30sonia/bsat2_buffer

lee30sonia/pushpop

master

msoeken/warnings

msoeken/windows

msoeken/z3

pending completion

Build # 122541470

Build Type

github

Committed by GitHub

Commit Message

Merge 436fa4327 into cbfac1504

Pull Request Pull Request #33: Heuristic methods for size-reduction of unsatisfiable cores

Run Details

34 of 34 new or added lines in 2 files covered. (100.0%)

853 of 895 relevant lines covered (95.31%)

1145.58 hits per line

Relevant lines Covered

895 RELEVANT LINES 853 COVERED LINES

1145.58 HITS PER LINE

Source Files on hriener/min_core

Recent builds

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
122541470	hriener/min_core	Merge 436fa4327 into cbfac1504	Pull #33	02 Jun 2020 12:44PM UTC	GitHub	github	pending completion

See All Builds (17)

Badge your Repo: bill

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.