admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rename steps and analyses

Browse Source
This commit is contained in:
Alessandro Di Federico
2024-01-31 14:57:44 +01:00
parent 68572c72b8
commit 32c18e9cf3
11 changed files with 87 additions and 90 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/revng/internal/cli/_commands/translate.py
+5 -5
View File
@@ -41,17 +41,17 @@ class TranslateCommand(Command):
args = options.parsed_args
out_file = args.output if args.output else args.input[0] + ".translated"
step_name = "Recompile"
step_name = "recompile"
if args.isolate:
step_name = step_name + "Isolated"
step_name = step_name + "-isolated"
command = [
"pipeline",
]
command.append("--analyze=Import/ImportBinary/input/:Binary")
command.append("--analyze=Import/AddPrimitiveTypes/")
command.append("--analyze=Lift/DetectABI/module.ll/:Root")
command.append("--analyze=initial/import-binary/input/:Binary")
command.append("--analyze=initial/add-primitive-types/")
command.append("--analyze=lift/detect-abi/module.ll/:Root")
command = command + [
f"--produce={step_name}/output/:Translated",