From bc49a24a4246cc8cf9dfd0d66db7807cca515cbe Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Mon, 11 Mar 2024 09:52:49 +0100 Subject: [PATCH] - Added debug flag and ConfigParams to PicoSATLoadTime --- varats/varats/projects/c_projects/picosat.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/varats/varats/projects/c_projects/picosat.py b/varats/varats/projects/c_projects/picosat.py index 7909c40f2..569f38a2f 100644 --- a/varats/varats/projects/c_projects/picosat.py +++ b/varats/varats/projects/c_projects/picosat.py @@ -10,7 +10,11 @@ from benchbuild.utils.settings import get_number_of_jobs from plumbum import local -from varats.experiment.workload_util import RSBinary, WorkloadCategory +from varats.experiment.workload_util import ( + RSBinary, + WorkloadCategory, + ConfigParams, +) from varats.paper.paper_config import PaperConfigSpecificGit from varats.project.project_domain import ProjectDomains from varats.project.project_util import ( @@ -267,6 +271,7 @@ class PicoSATLoadTime(VProject, ReleaseProviderHook): VCommand( SourceRoot("PicoSATLoadTime") / RSBinary("picosat"), "ibm-2004-03-k70.cnf", + ConfigParams(), label="ibm-2004-03-k70.cnf", ), ], @@ -307,7 +312,8 @@ def compile(self) -> None: with local.cwd(picosat_source): with local.env(CC=str(c_compiler), CXX=str(cxx_compiler)): - bb.watch(local[config_script_name])(["--trace", "--stats"]) + bb.watch(local[config_script_name] + )(["--trace", "--stats", "-g"]) bb.watch(make)("-j", get_number_of_jobs(bb_cfg())) with local.cwd(picosat_source):