Failed assertion inside divuu function fixed

3sGgpQ8H · 3sGgpQ8H · commit 5e1e7c11b35f · 2023-02-16T22:15:51.000+03:00
diff --git a/ABDKMath64x64.sol b/ABDKMath64x64.sol
@@ -707,9 +707,7 @@ library ABDKMath64x64 {
         if (xl < lo) xh -= 1;
         xl -= lo; // We rely on overflow behavior here
 
-        assert (xh == hi >> 128);
-
-        result += xl / y;
+        result += xh == hi >> 128 ? xl / y : 1;
       }
 
       require (result <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);

Original file line number	Diff line number	Diff line change
`@@ -707,9 +707,7 @@ library ABDKMath64x64 {`
`707`	`707`	`if (xl < lo) xh -= 1;`
`708`	`708`	`xl -= lo; // We rely on overflow behavior here`
`709`	`709`
`710`		`- assert (xh == hi >> 128);`
`711`		`-`
`712`		`- result += xl / y;`
	`710`	`+ result += xh == hi >> 128 ? xl / y : 1;`
`713`	`711`	`}`
`714`	`712`
`715`	`713`	`require (result <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);`