chrjabs / rustsat

64%

LAST BUILD ON BRANCH main

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• build-header-race
• emscripten-support
• escape-c-lits
• handle_empty_ranges
• kissat
• main
• parser-rewrite
• push-knlnuzwvzytz
• push-kolkluqospzk
• push-konmsqlksvml
• push-koqxmxztstsx
• push-krttopmpuypz
• push-ksltuzpnpyut
• push-kwyyurvoznwk
• push-lltowoxrwxqz
• push-lnqntvoxtpqn
• push-lqxqrzuvzprn
• push-lxpovstzrwtt
• push-mnlrwrtwnvtu
• push-mwoyrwwtlurr
• push-mxtukxmulpok
• push-myroyvpuuwmv
• push-nlwrskmykyvu
• push-nqsrmzmnvkwn
• push-nqwwvskpqzko
• push-nrqrqzqplxkk
• push-nrtowtkvpxss
• push-nsntponkwupt
• push-nyzkrsouwoxk
• push-ollvxwlsptwn
• push-omxvsuzsylmq
• push-onxtswzsqpkk
• push-ooopuuykosop
• push-oromrkzltwsy
• push-ospnvwlqpkkx
• push-ozpmmwnokzut
• push-pnkpynkvzukv
• push-prmumuwvksuz
• push-pxsrprysusqy
• push-qkukounvwpsq
• push-qmrvoqqmoxzl
• push-qnqvxzztxwom
• push-qnwotlnsvmqk
• push-qovoxzknxuwx
• push-qrlqpvuwmsol
• push-qxlnxklllvzu
• push-rplnyrupznom
• push-rrlsmmmzmsnr
• push-rtspvkwloxsn
• push-rulxzwtovmnk
• push-ruvslyspswpv
• push-rvmonvyzxtmn
• push-rzpmzurvltto
• push-slsvpwulnmnq
• push-sszulpolrkro
• push-stqnuknozzkl
• push-svruyqovpyzp
• push-sykmsqlprytm
• push-syqowrxlzymt
• push-szxplkrmrwop
• push-tkqmpxkkswwk
• push-tnrrknlqwlmo
• push-tsvnlurtuuvt
• push-tswzpotuxysn
• push-urqqspunqpxv
• push-uuxkuxwvvupv
• push-uvvvpmtltskz
• push-uvxvyulrlmsy
• push-uvylmzkxnrsp
• push-uxsxkstmklqq
• push-uxtpxnysnzvn
• push-vmxxnyvysmuw
• push-vppryrzqozuy
• push-vvslmoqxrvkl
• push-wpnqlytyxonp
• push-wpokkpkwtxnn
• push-wvsnzuwyswqt
• push-wxqmkxlqytpu
• push-wyollxqztytq
• push-xmooxtvwwxyq
• push-xmowlnqoktoq
• push-xrxqyktwtkps
• push-xsumxkkoqkkr
• push-xvuywonmuoxs
• push-xwuouynxpyqy
• push-xxrnlkvoxurq
• push-ylmsrxzoqwqz
• push-ylnquylolywz
• push-ylzzyypzywwq
• push-ymlumpxvyyqq
• push-ywttzopmryom
• push-yxsnyzsvyuyz
• push-yxuorvtvvtys
• push-zonknrzsvwwz
• push-zpwmsltqnyok
• push-zpxmnwrmpvqu
• push-zsrvwpmtvmnk
• push-zvntzolnnrus
• release-plz-2025-04-04T23-15-10Z
• release-plz-2025-05-02T23-12-48Z
• release-plz-2025-05-30T21-45-46Z
• release-plz-2025-08-08T22-00-41Z
• release-plz-2025-09-06T01-46-56Z
• release-plz-2025-10-18T11-12-26Z
• remove-clones
• renovate/actions-checkout-5.x
• renovate/actions-checkout-6.x
• renovate/actions-checkout-7.x
• renovate/actions-checkout-digest
• renovate/actions-create-github-app-token-3.x
• renovate/actions-create-github-app-token-digest
• renovate/actions-deploy-pages-5.x
• renovate/actions-deploy-pages-digest
• renovate/actions-download-artifact-digest
• renovate/actions-labeler-6.x
• renovate/actions-labeler-7.x
• renovate/actions-labeler-digest
• renovate/actions-setup-python-6.x
• renovate/actions-setup-python-7.x
• renovate/actions-setup-python-digest
• renovate/actions-upload-artifact-digest
• renovate/actions-upload-pages-artifact-4.x
• renovate/actions-upload-pages-artifact-5.x
• renovate/bindgen-0.x
• renovate/bzip2-0.x
• renovate/cbindgen-0.x
• renovate/cc-1.x
• renovate/clap-4.x
• renovate/crate-git2-vulnerability
• renovate/crate-pyo3-vulnerability
• renovate/extend-allowed-rust-dependencies
• renovate/git2-0.x
• renovate/gungraun-0.x
• renovate/insta-1.x
• renovate/install-pinned-maturin-digest
• renovate/itertools-0.x
• renovate/lock-file-maintenance
• renovate/major-extend-allowed-rust-dependencies
• renovate/major-github-artifact-actions
• renovate/maturin-1.x
• renovate/minijinja-2.x
• renovate/patch-updates
• renovate/pin-dependencies
• renovate/pyo3-0.x
• renovate/pyo3-build-config-0.x
• renovate/pyo3-maturin-action-digest
• renovate/python-3.x
• renovate/rust-1.x
• renovate/signal-hook-0.x
• renovate/similar-3.x
• renovate/swatinem-rust-cache-digest
• renovate/taiki-e-install-action-digest
• renovate/tempfile-3.x
• renovate/winnow-1.x
• scuttle
• scuttle-work
• update-badges
• update-rust
• veripb3
• wcnf-parsing

Build # 38886647265

Build Type

push

github

Committed by chrjabs

Commit Message

test: atomic constraint reification encodings

Coverage Stats

172 of 172 new or added lines in 1 file covered. (100.0%)

366 existing lines in 2 files now uncovered.

15824 of 24742 relevant lines covered (63.96%)

130263.95 hits per line