Issues

• Integrate BenchExec's runexec

  enhancement
  goblint/GobExec#22 · Filter by author sim642 opened on Jun 11, 2024

• Allow sequential execution

  bug
  goblint/GobExec#21 · Filter by author sim642 opened on Jun 11, 2024

• CSV output

  enhancement
  goblint/GobExec#20 · Filter by author sim642 opened on Jun 11, 2024

• Choose parallel jobs limit automatically

  enhancement
  goblint/GobExec#19 · Filter by author sim642 opened on May 14, 2024

• JUnit XML/TAP test output

  test
  goblint/GobExec#12 · Filter by author sim642 opened on May 16, 2022

• Configuration-dependent regression testing

  test
  goblint/GobExec#11 · Filter by author sim642 opened on Dec 16, 2021

• Expected results for benchmarks

  benchmark
  goblint/GobExec#10 · Filter by author sim642 opened on Dec 16, 2021

• Integrate regression2sv-benchmarks.py

  benchmarktest
  goblint/GobExec#9 · Filter by author sim642 opened on Dec 16, 2021

• Execute specific entry from matrix

  benchmarktest
  goblint/GobExec#8 · Filter by author sim642 opened on Dec 16, 2021

• Multiple configurations per regression test

  test
  goblint/GobExec#7 · Filter by author sim642 opened on Dec 16, 2021

• Existing update_bench_incremental.rb features

  benchmark
  goblint/GobExec#6 · Filter by author sim642 opened on Dec 16, 2021

• Existing update_bench_traces_rel.rb features

  benchmark
  goblint/GobExec#5 · Filter by author sim642 opened on Dec 16, 2021

• Existing regtest.sh features

  test
  goblint/GobExec#2 · Filter by author sim642 opened on Dec 16, 2021

• Existing update_suite.rb features

  test
  goblint/GobExec#1 · Filter by author sim642 opened on Dec 16, 2021

• CI for benchmarks to track performance

  benchmark
  goblint/GobExec#13 · Filter by author vogler opened on May 28, 2021
  8