goblint/GobExec

Issues

• Integrate BenchExec's `runexec`

  #22 opened 3 months ago
  0

• Allow sequential execution

  #21 opened 3 months ago
  0

• CSV output

  #20 opened 3 months ago
  0

• Choose parallel jobs limit automatically

  #19 opened 4 months ago
  0

• Existing `update_bench_traces_rel_yaml.rb` features

  #16 opened a month ago
  0

• Existing `update_bench_traces_rel_watts.rb` features

  #15 opened a month ago
  0

• Existing `update_bench_traces_rel_assert.rb` features

  #14 opened a month ago
  0

• JUnit XML/TAP test output

  #12 opened 2 years ago
  0

• Configuration-dependent regression testing

  #11 opened 3 years ago
  0

• Expected results for benchmarks

  #10 opened 3 years ago
  0

• Integrate `regression2sv-benchmarks.py`

  #9 opened 3 years ago
  0

• Execute specific entry from matrix

  #8 opened 3 years ago
  0

• Multiple configurations per regression test

  #7 opened 3 years ago
  0

• Existing `update_bench_incremental.rb` features

  #6 opened 3 years ago
  0

• Existing `update_bench_traces_rel.rb` features

  #5 opened 3 years ago
  0

• Existing `update_bench_traces.rb` features

  #4 opened a month ago
  0

• Existing `update_bench.rb`

  #3 opened a month ago
  0

• Existing `regtest.sh` features

  #2 opened 3 years ago
  0

• Existing `update_suite.rb` features

  #1 opened 3 years ago
  0

• CI for benchmarks to track performance

  #13 opened 3 years ago
  8