msakai
/
haskell-decision-diagrams
86%
main: 88%
main: 88%
|
Repo Added
|
Files
4
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
feature/doc-test
branch: feature/doc-test
CHANGE BRANCH
x
-
feature/doc-test
-
HEAD
-
avoid-spurious-incomplete-patterns-warning
-
clean-up-tests
-
feature/algebra-coalgebra
-
feature/bdd-leaf
-
feature/bdd-more-ops
-
feature/bdd-sat
-
feature/bdd-uniform-sat
-
feature/callstack
-
feature/common-sig
-
feature/desc-order
-
feature/fixpoints
-
feature/fold-laziness
-
feature/graph
-
feature/more-ops
-
feature/num-nodes
-
feature/other-extensions
-
feature/restrictLaw-tests
-
feature/shared-graph-type
-
feature/signature-types
-
feature/unfold
-
feature/work-on-newtype-instead-of-node-type
-
feature/zdd-min-max
-
feature/zdd-subsets
-
feature/zdd-test-jdd
-
hide-node-type
-
main
-
ops-cleanup
-
refine-to-list
-
separate-and-bounds-dependencies
-
test
-
uniformM-test-no-quickcheck-monadic
-
update-stack-lts-202208
-
zdd-uniform-test-less-flaky
CHANGE BRANCH
x
-
feature/doc-test
- HEAD
- avoid-spurious-incomplete-patterns-warning
- clean-up-tests
- feature/algebra-coalgebra
- feature/bdd-leaf
- feature/bdd-more-ops
- feature/bdd-sat
- feature/bdd-uniform-sat
- feature/callstack
- feature/common-sig
- feature/desc-order
- feature/fixpoints
- feature/fold-laziness
- feature/graph
- feature/more-ops
- feature/num-nodes
- feature/other-extensions
- feature/restrictLaw-tests
- feature/shared-graph-type
- feature/signature-types
- feature/unfold
- feature/work-on-newtype-instead-of-node-type
- feature/zdd-min-max
- feature/zdd-subsets
- feature/zdd-test-jdd
- hide-node-type
- main
- ops-cleanup
- refine-to-list
- separate-and-bounds-dependencies
- test
- uniformM-test-no-quickcheck-monadic
- update-stack-lts-202208
- zdd-uniform-test-less-flaky
push
github-actions
Masahiro Sakai
764 of 884 relevant lines covered (86.43%)
0.86 hits per line
Relevant lines Covered
884
RELEVANT LINES
764
COVERED LINES
0.86
HITS PER LINE
Source Files on feature/doc-test
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 150 | feature/doc-test | add doctest for ZDD.findMaxSum | push | Masahiro Sakai | github-actions | pending completion | |
| 148 | feature/doc-test | add doctest for ZDD.findMaxSum | push | Masahiro Sakai | github-actions | pending completion | |
| 146 | feature/doc-test | add more doctests | push | Masahiro Sakai | github-actions | pending completion | |
| 144 | feature/doc-test | add more doctests | push | Masahiro Sakai | github-actions | pending completion | |
| 131 | feature/doc-test | add more doctests | push | Masahiro Sakai | github-actions | pending completion | |
| 129 | feature/doc-test | add doctest for ZDD.size | push | Masahiro Sakai | github-actions | pending completion | |
| 125 | feature/doc-test | add doctest test suite | push | Masahiro Sakai | github-actions | pending completion |