Code

Fixes for Self-Validation Issues#1641

Code

Merged

michael-schwarz merged 12 commits intomastergoblint/analyzer:masterfrom witness_val_fail_cherrypickgoblint/analyzer:witness_val_fail_cherrypickCopy head branch name to clipboardJan 3, 2025

+548-2

Commits

Commits on Dec 17, 2024

• Add witness cram test

  michael-schwarz

  committed
  051ab66

  Copy full SHA for 051ab66

• Fix read_global

  michael-schwarz

  committed
  0e5043d

  Copy full SHA for 0e5043d

• Spurious tracing

  michael-schwarz

  committed
  9fa4e23

  Copy full SHA for 9fa4e23

• Fix tracing

  michael-schwarz

  committed
  d54dfcc

  Copy full SHA for d54dfcc

• Update cram test

  michael-schwarz

  committed
  cf2641f

  Copy full SHA for cf2641f

• Apron: Do not produce invariants about stale locals that have escaped

  michael-schwarz

  committed
  775c15f

  Copy full SHA for 775c15f

• Update tests

  michael-schwarz

  committed
  267f25e

  Copy full SHA for 267f25e

• Enable warn.deterministic

  michael-schwarz

  committed
  2fd5321

  Copy full SHA for 2fd5321

• Enable deterministic warnings

  michael-schwarz

  committed
  ced9396

  Copy full SHA for ced9396

• dune promote

  michael-schwarz

  committed
  1795a2b

  Copy full SHA for 1795a2b

Commits on Dec 30, 2024

• Add SKIP to apron tests

  michael-schwarz

  authored
  ef51516

  Copy full SHA for ef51516

Commits on Jan 3, 2025

• 46/{95,96}: Use only location_invariant

  michael-schwarz

  committed
  a716017

  Copy full SHA for a716017