Skip to content

Commit 3270770

Browse files
feat(explorer): automatically create patch files
1 parent e48c03b commit 3270770

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

discopop_explorer/discopop_explorer.py

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
import logging
1212
import os
1313
import shutil
14+
import subprocess
1415
import sys
1516
import time
1617
from dataclasses import dataclass
@@ -30,6 +31,7 @@
3031

3132
from discopop_library.LineMapping.initialize import initialize_line_mapping
3233
from discopop_library.LineMapping.delete import delete_line_mapping
34+
from discopop_library.PatchGenerator.PatchGeneratorArguments import PatchGeneratorArguments
3335
from discopop_library.PathManagement.PathManagement import get_path, load_file_mapping
3436
from discopop_library.discopop_optimizer.Microbench.ExtrapInterpolatedMicrobench import (
3537
ExtrapInterpolatedMicrobench,
@@ -270,6 +272,12 @@ def run(arguments: ExplorerArguments) -> None:
270272

271273
print("Time taken for pattern detection: {0}".format(end - start))
272274

275+
# create applicable patch files from the found suggestions
276+
logger.info("executing discopop_patch_generator")
277+
out = subprocess.check_output(["discopop_patch_generator"], cwd=arguments.project_path).decode("utf-8")
278+
logger.debug("\t Out:\n" + out)
279+
logger.info("\tDone.")
280+
273281
# demonstration of Microbenchmark possibilities
274282
if arguments.microbench_file is not None:
275283
microbench_file = get_path(

0 commit comments

Comments
 (0)