fix: parsing of ternary

morpho-org · Apr 25, 2024 · 4c202de · 4c202de
1 parent 53c124b
commit 4c202de
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/certora/specs/LibSummary.spec b/certora/specs/LibSummary.spec
@@ -27,5 +27,6 @@ rule checkSummaryId(MorphoHarness.MarketParams marketParams) {
 }
 
 rule checkSummaryMin(uint256 x, uint256 y) {
-    assert libMin(x, y) == x < y ? x : y;
+    uint256 summaryMin = x < y ? x : y;
+    assert libMin(x, y) == summaryMin;
 }