msakai / toysolver
70%

DEFAULT BRANCH: master
Repo Added
Files 115
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 master
branch: master
CHANGE BRANCH
x

coverage: 69.681% (+0.03%) from 69.652%
512

push

github

web-flow 
Merge pull request #122 from msakai/fix-some-warnings

Fix some warnings

1 of 2 new or added lines in 2 files covered. (50.0%)

87 existing lines in 7 files now uncovered.

9818 of 14090 relevant lines covered (69.68%)

0.7 hits per line

Relevant lines Covered
14090 RELEVANT LINES 9818 COVERED LINES
0.7 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
512 master Merge pull request #122 from msakai/fix-some-warnings Fix some warnings push web-flow github
69.68
508 master Merge pull request #121 from msakai/feature/reduce-transformers Change SAT2KSATInfo to be synonym of TseitinInfo push web-flow github
69.65
503 master Merge pull request #119 from msakai/feature/toyconvert-dump-info Add --dump-info option to toyconvert push web-flow github
69.86
499 master Merge pull request #118 from msakai/extra-doc-files Use Extra-Doc-Files section in toysolver.cabal push web-flow github
69.35
497 master improve misc/collect-min-version-macro.rb push msakai github
69.14
496 master Merge pull request #117 from msakai/update-coveralls-and-haddock GitHub Actions: Update coveralls and haddock configuration push web-flow github
69.99
495 master Merge pull request #106 from msakai/use-prettyprinter-package Use prettyprinter package if optparse-applicative is >=0.18 push web-flow github
71.11
492 master update CHANGELOG.markdown push msakai github
71.1
491 master relax hashable upper bound to allow hashable-1.5.0.0 push msakai github
71.26
490 master Merge pull request #116 from msakai/macos-aarch64-x86_64 GitHub Actions: build x86_64 and aarch64 binaries for macos push web-flow github
70.45
See All Builds (1255)