Skip to content

Use BenchExec in CI

Петров Олег Максимович requested to merge ci4-benchexec into smg-master

Use BenchExec for regression tests in GitLab CI.

See README.txt in gitlab-ci and test/test-sets/gitlab-ci.

Edited by Петров Олег Максимович

Merge request reports