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

tests: adopt emit-c over decompile

Browse Source
This commit is contained in:
Alessandro Di Federico
2025-12-03 11:33:49 +01:00
parent 19dcd36d4d
commit 7e116bc8bf
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
share/revng/test/configuration/revng/decompilation.yml
+2 -2
View File
@@ -20,9 +20,9 @@ commands:
command: |- command: |-
revng artifact --resume "$OUTPUT" --analyze emit-c "$INPUT" -o /dev/null revng artifact --resume "$OUTPUT" --analyze emit-c "$INPUT" -o /dev/null
- # Perform checks on the model - # Perform checks on the model
type: revng.legacy.decompile-to-single-file.model-check type: revng.emit-c.model-check
from: from:
- type: revng.legacy.decompile-to-single-file - type: revng.emit-c
command: |- command: |-
revng model compare "${SOURCE}".model.yml "$INPUT/context/model.yml" revng model compare "${SOURCE}".model.yml "$INPUT/context/model.yml"
- # Check well-formedness of decompiled C - # Check well-formedness of decompiled C
share/revng/test/configuration/revng/runtime-segregation-tests.yml
+1 -1
View File
@@ -17,7 +17,7 @@ commands:
"${ABI_NAME}" "${ABI_NAME}"
"${OUTPUT}/imported_binary.yml" "${OUTPUT}/imported_binary.yml"
"${OUTPUT}/reference_binary.yml"; "${OUTPUT}/reference_binary.yml";
revng artifact decompile-to-single-file "${INPUT}/functions" revng artifact emit-c-as-single-file "${INPUT}/functions"
-m="${OUTPUT}/reference_binary.yml" -m="${OUTPUT}/reference_binary.yml"
--resume="${OUTPUT}/resume" --resume="${OUTPUT}/resume"
-o="${OUTPUT}/decompiled.c.ptml"; -o="${OUTPUT}/decompiled.c.ptml";