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

revng-model-diff: return error on mismatch

Browse Source
This commit is contained in:
Ivan Krysak
2022-02-11 11:36:54 +02:00
committed by Alessandro Di Federico
parent bac670a38a
commit a67bc8d1a6
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/model/diff/Main.cpp
+6 -2
View File
@@ -62,7 +62,11 @@ int main(int Argc, char *Argv[]) {
ExitOnError(llvm::createStringError(EC, EC.message()));
auto &Stream = OutputFile.os();
diff(*LeftModel->Model, *RightModel->Model).dump(Stream);
auto Diff = diff(*LeftModel->Model, *RightModel->Model);
Diff.dump(Stream);
return EXIT_SUCCESS;
if (Diff.Changes.empty())
return EXIT_SUCCESS;
else
return EXIT_FAILURE;
}