158 Forks
165 Stars
165 Watchers

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

How to download and setup benchexec

Open terminal and run command
git clone https://github.com/sosy-lab/benchexec.git
git clone is used to create a copy or clone of benchexec repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with benchexec https://github.com/sosy-lab/benchexec/archive/master.zip

Or simply clone benchexec with SSH
[email protected]:sosy-lab/benchexec.git

If you have some problems with benchexec

You may open issue on benchexec support forum (system) here: https://github.com/sosy-lab/benchexec/issues