Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

C

Competition Scripts

Project information

Scripts for running competitions like SV-COMP and Test-Comp. Still incomplete, will be extended gradually.

1,189 Commits
6 Branches
13 Tags

README

Created on

November 20, 2020

Copy SSH clone URLgit@gitlab.com:sosy-lab/benchmarking/competition-scripts.git
Copy HTTPS clone URLhttps://gitlab.com/sosy-lab/benchmarking/competition-scripts.git