Error message

Lipen · Lipen · commit 56bd4b53c1f5 · 2025-09-08T15:17:55.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/operator/TsBinaryOperator.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/operator/TsBinaryOperator.kt
@@ -633,8 +633,8 @@ sealed interface TsBinaryOperator {
                 }
             }
 
-            check(!lhsValue.isFakeObject())
-            check(!rhsValue.isFakeObject())
+            check(!lhsValue.isFakeObject()) { "Nested fake objects are not supported" }
+            check(!rhsValue.isFakeObject()) { "Nested fake objects are not supported" }
 
             if (lhsValue.sort == addressSort && rhsValue.sort == addressSort) {
                 val left = lhsValue.asExpr(addressSort)

Original file line number	Diff line number	Diff line change
`@@ -633,8 +633,8 @@ sealed interface TsBinaryOperator {`
`633`	`633`	`}`
`634`	`634`	`}`
`635`	`635`
`636`		`- check(!lhsValue.isFakeObject())`
`637`		`- check(!rhsValue.isFakeObject())`
	`636`	`+ check(!lhsValue.isFakeObject()) { "Nested fake objects are not supported" }`
	`637`	`+ check(!rhsValue.isFakeObject()) { "Nested fake objects are not supported" }`
`638`	`638`
`639`	`639`	`if (lhsValue.sort == addressSort && rhsValue.sort == addressSort) {`
`640`	`640`	`val left = lhsValue.asExpr(addressSort)`