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

import-from-c test: improve error reporting

Browse Source
This commit is contained in:
Alessandro Di Federico
2026-04-14 16:37:03 +02:00
parent 15816c7559
commit d977f26bce
1 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
share/revng/test/configuration/revng/import-from-c.yml
+11 -6
View File
@@ -66,9 +66,9 @@ commands:
filter: import-from-c
suffix: /
command: |-
LocationToEdit=$$(grep -vE '^(#|$$)' "${INPUT}/type-to-edit.location");
CCode=$$(sed 's;^; ;' "${INPUT}/edit.c");
CONFIGURATION="LocationToEdit: $${LocationToEdit}\nCCode: |\n$${CCode}";
LOCATION_TO_EDIT=$$(grep -vE '^(#|$$)' "${INPUT}/type-to-edit.location");
C_CODE=$$(sed 's;^; ;' "${INPUT}/edit.c");
CONFIGURATION="LocationToEdit: $${LOCATION_TO_EDIT}\nCCode: |\n$${C_CODE}";
if revng2 pipeline run-analysis import-from-c
-c "$$(echo -e "$$CONFIGURATION")"
@@ -80,7 +80,12 @@ commands:
else
[[ "$$(tail -n +5 "${INPUT}/expected-error.txt")" ==
"$$(grep -Pzo '(?<=RuntimeError: )[^\x00]*' "${OUTPUT}/error.txt" | tr -d '\0')" ]];
if ! [[ "$$(tail -n +5 "${INPUT}/expected-error.txt")" ==
"$$(grep -Pzo '(?<=RuntimeError: )[^\x00]*' "${OUTPUT}/error.txt" | tr -d '\0')" ]]; then
echo "Expected:"
cat "${INPUT}/expected-error.txt"
echo "Got:"
echo "${OUTPUT}/error.txt"
exit 1;
fi;
fi