|
Repo Added
|
Files
57
|
Badge
README BADGES
|
push
github
8760 of 11970 relevant lines covered (73.18%)
16550800.5 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 30095016786 | main | Added missing Send/Sync to VFunc/CompVFunc | push | github |
73.18 |
||
| 30017192857 | main | License is now MIT or Apache | push | github |
73.17 |
||
| 29824234477 | main | Additional tests | push | github |
73.17 |
||
| 29764470740 | main | Sixth round of fixes | push | github |
73.17 |
||
| 29757944694 | main | Fifth round of fixes | push | github |
72.62 |
||
| 29426297655 | review/harden-succinct-invariants | Merge 94de354d0 into 4d383f6b9 | Pull #111 | github |
74.5 |
||
| 29396963115 | review/harden-succinct-invariants | Merge eadcc212a into 4d383f6b9 | Pull #111 | github |
74.33 |
||
| 29314429356 | review/harden-succinct-invariants | Merge 14a721a57 into 4d383f6b9 | Pull #111 | github |
73.99 |
||
| 29314121666 | review/harden-succinct-invariants | Merge bc4419e7c into 4d383f6b9 | Pull #111 | github |
73.99 |
||
| 29312919109 | review/harden-succinct-invariants | Merge 3bc3ec3ac into 4d383f6b9 | Pull #111 | github |
73.99 |