goblint / analyzer

62%

master: 62%

LAST BUILD ON BRANCH issue-1722

branch: issue-1722

CHANGE BRANCH

x

Reset

• issue-1722
• affineeq-refine
• alternative_1673
• apron-invariant-simplify
• apron-unassume-no-strengthening
• arg-complete-0.2.0
• arg-complete-array
• arg-complete-bool
• arg-stack-dedup
• assert-ptr
• assumption-array-bounds
• assumption-blob-init
• auto-disable-race-analyses
• base-protection-w
• base_path_sens
• biset-reduce
• bitfield-cast-bool
• bitfield-z-overflow
• bot_env_handling_fix
• bot_in_blob_leq_bot
• branch_set
• bump_goblint_cil_184
• c2po-combine
• c2po-fix-lazy
• camlidl-1.13
• cil-dynlink
• cil-pretty-state
• congruence-hardness-unsound-branches
• coverage
• create2-check_ov
• def_exc-doc-range
• def_exc-general-range
• delay-widening-cleanup
• dimchange-tidyup
• direct_recursive_trash
• enum-to-seq
• fix-apron-overflows
• float16
• fwd_constrsys
• g2html-ocaml
• generic-spec-lifters
• gobview-ocaml5
• intdomain-no-top
• intdomain-split
• intdomain-top_typ
• intdomain_intf
• interval32
• invariant-check-oveflows
• invariant-mli
• issue-1421
• issue-1577
• issue-1591
• issue-1762
• issue-1779
• issue-1782
• issue-1798
• issue-1803
• issue_1418
• issue_1438
• issue_1467
• issue_1535
• issue_1536
• issue_1558_master
• issue_1647
• issue_1651
• issue_1658
• issue_1662
• issue_1664
• issue_1673
• issue_1683
• issue_1686
• issue_1691
• issue_1697b
• issue_1719
• issue_1719_followup
• issue_1732
• issue_1774
• jobs-0
• lattice-lift-po
• lmust_cluster
• lower-bounds-ci-builtin
• master
• memleak-assert
• memsafety-bugs
• mine-W-noinit-threadenter
• mutex-meet-invariant
• mutex-refactor-readwrite
• no-show
• opam-locked-archived
• optimize_sparse_affeq_lindisjunc
• option_cleanup
• path_sens-error
• pr_1659_repair
• priv_prec_compare_stats
• protection-read-only
• race_digest_staging
• refine_loop
• remove_current_node_usages
• rm-graphml-witness
• semgrep-batenum
• simmo-phd-inc-dec
• sparse_octagons
• stats_on_texpr
• suppress_ovwarn
• tests-fun-ptr-void
• threadid-history-may_create
• tm-inv-transfer
• topdown_term
• traces-vojdani
• traces-vojdani-invariant
• unassume-mutex
• unrolltype
• vmcai25-docs
• vojdani-protected-vars
• weak-deps
• witness_val_fail_cherrypick
• yaml-witness-certificates
• yaml-witness-convert
• yaml-witness-default
• yojson-3

Build # 3607

Build Type

Pull #1818

github

Committed by web-flow

Commit Message

Merge 4e1a23e69 into 23fc7de90

Pull Request Pull Request #1818: Fix some questionable invariants in SV-COMP 2025 witnesses

Run Details

7 of 13 new or added lines in 2 files covered. (53.85%)

20858 of 33883 relevant lines covered (61.56%)

407685.6 hits per line