benchbuild.projects.benchbuild.minisat module

class benchbuild.projects.benchbuild.minisat.Minisat(experiment, name=NOTHING, domain=NOTHING, group=NOTHING, src_file=NOTHING, container=NOTHING, version=NOTHING, builddir=NOTHING, testdir=NOTHING, cflags=NOTHING, ldflags=NOTHING, run_f=NOTHING, run_uuid=NOTHING, compiler_extension=NOTHING, runtime_extension=None)[source]

Bases: benchbuild.project.Project

minisat benchmark

DOMAIN = 'verification'
GROUP = 'benchbuild'
NAME = 'minisat'
SRC_FILE = 'minisat.git'
VERSION = 'HEAD'
compile()[source]

Compile the project.

download()

Download the selected version.

repository = 'https://github.com/niklasso/minisat'
run_tests(runner)[source]

Run the tests of this project.

Clients override this method to provide customized run-time tests.

Parameters:
  • experiment – The experiment we run this project under
  • run – A function that takes the run command.
static versions()

Return a list of versions from the git hashes up to :limit:.