From 479e6cff96c37bbc872d66f90094645f32247da8 Mon Sep 17 00:00:00 2001 From: janmroczkowski Date: Fri, 8 Dec 2017 14:09:24 +0000 Subject: [PATCH] Extra fix for lcss needed --- src/goto-diff/unified_diff.cpp | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/goto-diff/unified_diff.cpp b/src/goto-diff/unified_diff.cpp index 70343563e58..bac4a659694 100644 --- a/src/goto-diff/unified_diff.cpp +++ b/src/goto-diff/unified_diff.cpp @@ -260,7 +260,8 @@ unified_difft::differencest unified_difft::lcss( { differences.push_back(differencet::NEW); --j; - --new_rit; + if(new_goto_program.instructions.begin()!=new_rit) + --new_rit; } else if(j == 0) { @@ -273,15 +274,18 @@ unified_difft::differencest unified_difft::lcss( { differences.push_back(differencet::SAME); --i; - --old_rit; + if(old_goto_program.instructions.begin()!=old_rit) + --old_rit; --j; - --new_rit; + if(new_goto_program.instructions.begin()!=new_rit) + --new_rit; } else if(lcss_matrix[i][j - 1] < lcss_matrix[i][j]) { differences.push_back(differencet::DELETED); --i; - --old_rit; + if(old_goto_program.instructions.begin()!=old_rit) + --old_rit; } else {