diff --git a/CMakeLists.txt b/CMakeLists.txt index 22af9a33c..e565da759 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -341,6 +341,26 @@ macro(add_decompilation_pipeline_test CATEGORY INPUT_FILE CONFIGURATION OUTPUT T endmacro() +# Decompilation torture tests +macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME) + + if (EXISTS ${INPUT_FILE}) + add_decompilation_pipeline_test(${CATEGORY} + ${INPUT_FILE} + ${CONFIGURATION} + ${OUTPUT} + ${TARGET_NAME}) + endif() + +endmacro() + +register_derived_artifact("abi-enforced-for-decompilation-torture" # FROM_ARTIFACTS: input artifacts + "revng-c-passes-torture" # NAME: name of the new aritfact + "" # SUFFIX: extension of output file + "FILE" # TYPE: "FILE" or "DIRECTORY" + ) + + # Decompilation tests macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)