goblint / analyzer / 1977

Builds Branch Commit Type Ran Committer Via Coverage
1977 master Add enabled_if to Apron cram tests (PR #1500) push sim642 github
62.88
1976 option-get-simplifications Merge d61ec3e2e into a3d43f673 Pull #1505 web-flow github
62.87
1975 master Merge pull request #1495 from goblint/finiteset-refactor Simplify `SetDomain.FiniteSet` for first analysis tutorial push web-flow github
62.88
1972 option-is-some-exists Merge 3f8f8bf12 into 40b4b0738 Pull #1504 web-flow github
62.87
1971 master Merge pull request #1434 from Red-Panda64/cleanup-destabilize-vs Clean up `destabilize_vs` push web-flow github
62.86
1968 priv-mval Merge 90fc5aa1a into fade1823f Pull #1503 web-flow github
62.87
1967 priv-nondefinite-mutex Merge fade1823f into 06a2fa787 Pull #1500 web-flow github
62.88
1964 master Merge pull request #1434 from Red-Panda64/cleanup-destabilize-vs Clean up `destabilize_vs` push web-flow github
62.85
1963 zeroinit-output Merge d19f9c9c8 into 487412c11 Pull #1497 web-flow github
62.87
1962 ppx_deriving-unpin Merge a50dc8133 into 487412c11 Pull #1496 web-flow github
62.76
1960 master Merge pull request #1464 from goblint/svcomp-abortUnless Activate abortUnless in svcomp conf push web-flow github
62.86
1959 master Merge pull request #1464 from goblint/svcomp-abortUnless Activate abortUnless in svcomp conf push web-flow github
62.85
1958 lin2var-coefficients Merge d510fc72d into 487412c11 Pull #1466 web-flow github
62.85
1957 master Merge pull request #1464 from goblint/svcomp-abortUnless Activate abortUnless in svcomp conf push web-flow github
62.87
1956 finiteset-refactor Merge 24d273bd0 into 487412c11 Pull #1495 web-flow github
62.86