Code

Add cram tests for YAML witnesses#1357

Code

Merged

sim642 merged 18 commits intomastergoblint/analyzer:masterfrom yaml-witness-testgoblint/analyzer:yaml-witness-testCopy head branch name to clipboardApr 4, 2024

+1,440-138

Commits

Commits on Feb 8, 2024

• Add yamlWitnessStrip testing utility

  sim642

  committed
  a2d47fc

• Strip file hashes from YAML witness cram tests

  sim642

  committed
  11c16bc

• Add cram witness test to 56-witness/05-prec-problem

  sim642

  committed
  6c9d719

• Add test for synthetic YAML witness invariant locations (PR #758)

  sim642

  committed
  990cf0c

• Add test for incorrect YAML witness invariant locations from CIL transformations (issue #1356)

  sim642

  committed
  066e11a

Commits on Feb 29, 2024

• Merge branch 'master' into yaml-witness-test

  sim642

  committed
  d55fc18

• Deduplicate YAML witness tests from CFG tests

  sim642

  committed
  da6987d

• Merge branch 'fix-locations-pred' into yaml-witness-test

  sim642

  committed
  c182863

• Adapt 56-witness/05-prec-problem to correct precondition_loop_invariant handling

  sim642

  committed
  78b8037

• Fix invalid locations for precondition_loop_invariant

  Show description for 61f94d0
  sim642

  committed
  61f94d0

• Add TODO about duplicate precondition_loop_invariant entries

  sim642

  committed
  786affd

• Use yamlWitnessStrip for 56-witness/08-witness-all-locals

  sim642

  committed
  07430d2

• Add cram test for YAML witness unrolled loop invariant (issue #1225)

  sim642

  committed
  5d98e2e

• Add YAML witness location tests for loops

  sim642

  committed
  71015ee

Commits on Mar 1, 2024

• Add for loop location test with single delcaration initializer

  sim642

  committed
  3527e35

• Fix statement location for for initializer declaration

  sim642

  committed
  b21c884

• Suppress backtraces in cram tests

  sim642

  committed
  bb1a2ae

Commits on Apr 4, 2024

• Merge branch 'fix-locations-pred' into yaml-witness-test

  sim642

  committed
  6f3fc9c