Skip to content

Commit

Permalink
A few dune tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
vulder committed Oct 9, 2023
1 parent f7be54e commit ab0d13b
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 5 deletions.
16 changes: 13 additions & 3 deletions varats/varats/experiments/vara/feature_perf_precision.py
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,13 @@ def get_extra_cflags(project: VProject) -> tp.List[str]:
return []


def get_threshold(project: VProject) -> int:
if project.DOMAIN.value is ProjectDomains.TEST:
return 0

return 50


class AnalysisProjectStepBase(OutputFolderStep):

project: VProject
Expand Down Expand Up @@ -383,9 +390,12 @@ def setup_actions_for_vara_experiment(

project.cflags += experiment.get_vara_feature_cflags(project)

threshold = 0 if project.DOMAIN.value is ProjectDomains.TEST else 100
threshold = get_threshold(project)
project.cflags += experiment.get_vara_tracing_cflags(
instr_type, project=project, instruction_threshold=threshold
instr_type,
project=project,
save_temps=True,
instruction_threshold=threshold
)

project.cflags += get_extra_cflags(project)
Expand Down Expand Up @@ -917,7 +927,7 @@ def setup_actions_for_vara_overhead_experiment(
) -> tp.MutableSequence[actions.Step]:
project.cflags += experiment.get_vara_feature_cflags(project)

threshold = 0 if project.DOMAIN.value is ProjectDomains.TEST else 100
threshold = get_threshold(project)
project.cflags += experiment.get_vara_tracing_cflags(
instr_type, project=project, instruction_threshold=threshold
)
Expand Down
6 changes: 4 additions & 2 deletions varats/varats/projects/cpp_projects/dune.py
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@
BinaryType,
ProjectBinaryWrapper,
)
from varats.project.sources import FeatureSource
from varats.project.varats_project import VProject
from varats.utils.git_util import ShortCommitHash, RevisionBinaryMap

Expand Down Expand Up @@ -48,12 +49,13 @@ class DunePerfRegression(VProject):
SOURCE = [
PaperConfigSpecificGit(
project_name='DunePerfRegression',
remote='git@github.com:se-sic/dune-VaRA.git',
remote='https://github.com/se-sic/dune-VaRA.git',
local='dune-VaRA',
refspec='origin/HEAD',
limit=None,
shallow=False
)
),
FeatureSource()
]

CONTAINER = get_base_image(ImageBase.DEBIAN_10)
Expand Down

0 comments on commit ab0d13b

Please sign in to comment.