Code

Fix ported scripts#23

Code

Merged

sim642 merged 17 commits intomastergoblint/GobExec:masterfrom healthypunk-master-fixgoblint/GobExec:healthypunk-master-fixCopy head branch name to clipboardJul 28, 2024

+100-87

Commits

Commits on May 3, 2023

• Reduce default job count

  sim642

  committed
  15fff27

  Copy full SHA for 15fff27

• Add missing update_bench_traces args

  sim642

  committed
  77e2489

  Copy full SHA for 77e2489

• Fix PrivPrecTool output path

  sim642

  committed
  5f8b454

  Copy full SHA for 5f8b454

• Fix PrivPrecTool input path arguments

  sim642

  committed
  9bca4cc

  Copy full SHA for 9bca4cc

• Add missing update_bench_traces_rel* args

  sim642

  committed
  ae5c828

  Copy full SHA for ae5c828

• Remove AssertTypeSummary usage

  sim642

  committed
  6858a7f

  Copy full SHA for 6858a7f

• Remove Apron dumping when not comparing

  sim642

  committed
  0375d24

  Copy full SHA for 0375d24

• Add TODOs to update_bench_traces* scripts

  sim642

  committed
  663d9a9

  Copy full SHA for 663d9a9

• Fix update_bench_traces_rel_toy name

  sim642

  committed
  3a50773

  Copy full SHA for 3a50773

Commits on Apr 29, 2024

• Merge remote-tracking branch 'healthypunk/master' into healthypunk-master-fix

  sim642

  committed
  c427bd4

  Copy full SHA for c427bd4

• Fix dbg.debug -> warn.debug in Goblint options

  sim642

  committed
  984bbd3

  Copy full SHA for 984bbd3

• Uncomment HTML progress auto-refresh

  sim642

  committed
  0ae91fe

  Copy full SHA for 0ae91fe

• Add some TODOs to traces_rel*

  sim642

  committed
  9c402a4

  Copy full SHA for 9c402a4

• Remove Apron dumping when not comparing again

  sim642

  committed
  b454163

  Copy full SHA for b454163

• Add witness generation precision arguments to traces_rel_yaml

  sim642

  committed
  9fe2ecf

  Copy full SHA for 9fe2ecf

Commits on Apr 30, 2024

• Enable ana.sv-comp.functions for traces_rel_assert

  sim642

  committed
  b7bbf55

  Copy full SHA for b7bbf55

Commits on Jul 28, 2024

• Merge branch 'refs/heads/healthypunk-master' into healthypunk-master-fix

  Show description for aefe3c2
  sim642

  committed
  aefe3c2

  Copy full SHA for aefe3c2