Skip to content

Fix swapped preCondition and postCondition attribute mapping - #746

Merged
TomasVotruba merged 1 commit into
mainfrom
fix-pre-post-condition-swap
Jul 31, 2026
Merged

Fix swapped preCondition and postCondition attribute mapping#746
TomasVotruba merged 1 commit into
mainfrom
fix-pre-post-condition-swap

Fix swapped preCondition and postCondition attribute mapping

44448c5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar