All issues

Search results

Integrate BenchExec's runexec

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In goblint/GobExec;

· sim642 opened on Jun 11, 2024

Allow sequential execution

bugSomething isn't workingSomething isn't working

Status: Open.

#21 In goblint/GobExec;

· sim642 opened on Jun 11, 2024

CSV output

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In goblint/GobExec;

· sim642 opened on Jun 11, 2024

Choose parallel jobs limit automatically

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In goblint/GobExec;

· sim642 opened on May 14, 2024

JUnit XML/TAP test output

test

Status: Open.

#12 In goblint/GobExec;

· sim642 opened on May 16, 2022

Configuration-dependent regression testing

test

Status: Open.

#11 In goblint/GobExec;

· sim642 opened on Dec 16, 2021

Expected results for benchmarks

benchmark

Status: Open.

#10 In goblint/GobExec;

· sim642 opened on Dec 16, 2021

Integrate regression2sv-benchmarks.py

benchmark

test

Status: Open.

#9 In goblint/GobExec;

· sim642 opened on Dec 16, 2021

Execute specific entry from matrix

benchmark

test

Status: Open.

#8 In goblint/GobExec;

· sim642 opened on Dec 16, 2021

Multiple configurations per regression test

test

Status: Open.

#7 In goblint/GobExec;

· sim642 opened on Dec 16, 2021

Existing update_bench_incremental.rb features

benchmark

Status: Open.

#6 In goblint/GobExec;

· sim642 opened on Dec 16, 2021

Existing update_bench_traces_rel.rb features

benchmark

Status: Open.

#5 In goblint/GobExec;

· sim642 opened on Dec 16, 2021