[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