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: fail on unexpected successes

Browse Source
This commit is contained in:
Ivan Krysak
2026-06-16 12:54:43 +00:00
committed by Pietro Fezzardi
parent 1609bbe745
commit 2a97323232
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
share/revng/test/configuration/revng/import-from-c.yml
+6
View File
@@ -83,6 +83,12 @@ commands:
if [[ "$$EXIT_CODE" -eq 0 ]]; then
if ! [[ -e "${INPUT}/check-against.yml" ]]; then
echo "import-from-c succeeded, but an error was expected, stderr:";
cat "${OUTPUT}/model.yml";
exit 1;
fi;
revng model compare "${INPUT}/check-against.yml" "${OUTPUT}/model.yml";
else