Code

Automate manual tests#847

Code

Merged

sim642 merged 29 commits intomastergoblint/analyzer:masterfrom cram-manualgoblint/analyzer:cram-manualCopy head branch name to clipboardSep 26, 2024

+1,449-407

Commits

Commits on Oct 5, 2022

• Add yamlWitnessStrip testing utility

  sim642

  committed
  2bc950b

  Copy full SHA for 2bc950b

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

  sim642

  committed
  74477a4

  Copy full SHA for 74477a4

• Strip file hashes from YAML witness cram tests

  sim642

  committed
  d8b0c1e

  Copy full SHA for d8b0c1e

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

  sim642

  committed
  d751c4c

  Copy full SHA for d751c4c

• Add YAML witness privatized invariant tests

  sim642

  committed
  9086c99

  Copy full SHA for 9086c99

• Fix variable counting with ana.apron.invariant.one-var

  sim642

  committed
  950cf9b

  Copy full SHA for 950cf9b

• Add ana.apron.invariant.diff-box test

  sim642

  committed
  6023cbd

  Copy full SHA for 6023cbd

• Add test for dead code messages (issue #94)

  Show description for 5959095
  sim642

  committed
  5959095

  Copy full SHA for 5959095

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

  sim642

  committed
  cd90dfe

  Copy full SHA for cd90dfe

Commits on Oct 6, 2022

• Automate 00-sanity/33-hoare-over-paths using cram

  sim642

  committed
  8cc3ff2

  Copy full SHA for 8cc3ff2

• Print regression tests without any automatic checks

  sim642

  committed
  9f5c0e1

  Copy full SHA for 9f5c0e1

• Fix many regression tests without automatic checks

  sim642

  committed
  4705c30

  Copy full SHA for 4705c30

• Add cram tests for manual checks

  sim642

  committed
  f1ca09d

  Copy full SHA for f1ca09d

• Hide getdate_err from MacOS output

  sim642

  committed
  7b3a3ec

  Copy full SHA for 7b3a3ec

• Add test for broken mutex contents hiding on MacOS

  sim642

  committed
  0542913

  Copy full SHA for 0542913

• Fix 03-practical/28-base-mutex-macos

  sim642

  committed
  7d9de04

  Copy full SHA for 7d9de04

Commits on Oct 7, 2022

• Add cram tests for CFG

  sim642

  committed
  f49fd11

  Copy full SHA for f49fd11

Commits on Jul 16, 2024

• Merge branch 'master' into cram-manual

  sim642

  committed
  d285260

  Copy full SHA for d285260

• Add NOCHECK annotation to suppress missing automatic check warning

  sim642

  committed
  8971af4

  Copy full SHA for 8971af4

• Add NOCHECK and another annotations

  sim642

  committed
  5946abc

  Copy full SHA for 5946abc

• Add NOCHECK and CRAM annotations to incremental tests

  sim642

  committed
  5de8823

  Copy full SHA for 5de8823

• Error on missing automatic checks in regression tests

  sim642

  committed
  205f058

  Copy full SHA for 205f058

• Document meta annotations for regression tests

  sim642

  committed
  8da7046

  Copy full SHA for 8da7046

Commits on Jul 23, 2024

• Add yamlWitnessStripDiff for cram test

  Show description for 50b7e14
  sim642

  committed
  50b7e14

  Copy full SHA for 50b7e14

• Add pretty-deterministic output for cram test

  sim642

  committed
  65d4c02

  Copy full SHA for 65d4c02

Commits on Sep 25, 2024

• Merge branch 'master' into cram-manual

  sim642

  committed
  e5a103c

  Copy full SHA for e5a103c

Commits on Sep 26, 2024

• Document scope of regression test meta annotations

  sim642

  committed
  701f1ae

  Copy full SHA for 701f1ae

• Comment on negative line numbers in update_suite

  sim642

  committed
  8cce1c9

  Copy full SHA for 8cce1c9

• Add CRAM annotation to 00-sanity/33-hoare-over-paths

  Show description for 54eb6f6
  sim642

  committed
  54eb6f6

  Copy full SHA for 54eb6f6