msakai / pseudo-boolean

92%

master: 93%

LAST BUILD ON BRANCH v0.1.x

branch: v0.1.x

CHANGE BRANCH

x

Reset

• v0.1.x
• HEAD
• backport/0.1/git-and-github
• cache-key-cabal-hash
• ci-system-ghc
• drop-older-env
• feature/allow-empty-sum
• feature/any-relational-operator
• feature/dlist-0.8
• feature/ghc-8.2
• feature/ghc-8.6
• feature/ghc-8.8
• feature/ghc-9.0
• feature/megaparsec-7
• feature/megaparsec-8
• feature/megaparsec6
• feature/model-counting-and-enumeration
• feature/objective-type
• feature/parse-error
• fix-megaparsec-4-monadplus
• ghc-8.10.4-lts-17.10-lts-16.31
• github-actions
• github-actions-cleanup
• github-actions-job-name
• github-actions-sdist
• master
• relax-megaparsec-dlist-bytestring
• stack-config-set-system-ghc
• travis-ghc810
• updata-ci-202408
• update-actions-202405
• update-ci-202110
• update-ci-202403
• v0.1.8.0
• v0.1.9.0

Build # 131

Build Type

push

github

Committed by web-flow

Commit Message

Merge pull request #24 from msakai/backport/0.1/feature/PB24-format

[backport] Generate #equal= hint and intsize= hint specified for PB24 competition

Run Details

18 of 24 new or added lines in 2 files covered. (75.0%)

2 existing lines in 2 files now uncovered.

506 of 551 relevant lines covered (91.83%)

0.92 hits per line