Made plusAssign of UPathConstraints open (#328)

tochilinak · web-flow · commit 75f0bfeeed79 · 2025-09-05T14:28:29.000+03:00
diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
@@ -95,7 +95,7 @@ open class UPathConstraints<Type>(
     }
 
     @Suppress("UNCHECKED_CAST")
-    operator fun plusAssign(constraint: UBoolExpr): Unit =
+    open operator fun plusAssign(constraint: UBoolExpr): Unit =
         with(constraint.uctx) {
             when {
                 constraint == falseExpr -> contradiction(this)

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,7 @@ open class UPathConstraints<Type>(`
`95`	`95`	`}`
`96`	`96`
`97`	`97`	`@Suppress("UNCHECKED_CAST")`
`98`		`- operator fun plusAssign(constraint: UBoolExpr): Unit =`
	`98`	`+ open operator fun plusAssign(constraint: UBoolExpr): Unit =`
`99`	`99`	`with(constraint.uctx) {`
`100`	`100`	`when {`
`101`	`101`	`constraint == falseExpr -> contradiction(this)`