GitLab, Inc. engages in the intelligent DevSecOps platform for software innovation. The firm enables organizations to increase developer productivity, improve operational efficiency, reduce security ...
This repository contains scripts and definitions that are useful to execute benchmark experiments for competitions of automatic tools, like solvers, verifiers, and test generators. The scripts are ...
GITLAB_TOKEN: (Required) Your GitLab personal access token GITLAB_URL: (Optional) Your GitLab instance URL. Defaults to https://gitlab.com/api/v4 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results