[rtems-central commit] validation: Fix remove duplicate pre-conds

Sebastian Huber sebh at rtems.org
Wed May 5 16:01:14 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    2b40bf81f72bd6c9ab2a20c3d22995d61d47c049
Changeset: http://git.rtems.org/rtems-central/commit/?id=2b40bf81f72bd6c9ab2a20c3d22995d61d47c049

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed May  5 17:59:33 2021 +0200

validation: Fix remove duplicate pre-conds

---

 rtemsspec/validation.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py
index e618dd5..ea7dbe2 100644
--- a/rtemsspec/validation.py
+++ b/rtemsspec/validation.py
@@ -664,8 +664,8 @@ def _compact_more(pre_conds: PreCondsOfPostCond) -> PreCondsOfPostCond:
                 if len(diff) <= 1:
                     if diff:
                         index = diff[0]
-                        combined_count += 1
                         first[index].extend(row[index])
+                    combined_count += 1
                     pre_conds.remove(row)
         pre_conds = next_pre_conds
         if combined_count == 0:



More information about the vc mailing list