Repo Added
|
Files
115
|
Badge
Embed ▾
README BADGES
|
push
github-actions
9963 of 13900 relevant lines covered (71.68%)
0.72 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
263 | feature/hash-consing-tseitin-formula | add a test case of Tseitin.fold about sharing | push | Masahiro Sakai | github-actions | pending completion | |
261 | feature/hash-consing-tseitin-formula | fix ToySolver.SMT to use Tseitin.Formula | push | Masahiro Sakai | github-actions | pending completion | |
259 | feature/hash-consing-tseitin-formula | fix ToySolver.SMT to use Tseitin.Formula | push | Masahiro Sakai | github-actions | pending completion |