removed nbBoolKt

UnitTestBot · Jun 10, 2024 · d0d2fd3 · d0d2fd3
1 parent fef890b
commit d0d2fd3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/usvm-python/usvm-python-main/src/main/java/org/usvm/interpreter/CPythonAdapter.java b/usvm-python/usvm-python-main/src/main/java/org/usvm/interpreter/CPythonAdapter.java
@@ -980,7 +980,7 @@ public static void notifyNbBool(ConcolicRunContext context, SymbolForCPython sym
         if (symbol.obj == null)
             return;
         context.curOperation = new MockHeader(NbBoolMethod.INSTANCE, Collections.singletonList(symbol.obj), symbol.obj);
-        nbBoolKt(context, symbol.obj);
+        // We probably don't want to put constraints after nb_bool (maybe in the future?)
     }
 
     @CPythonAdapterJavaMethod(cName = "nb_int")

diff --git a/...ain/kotlin/org/usvm/machine/interpreters/symbolic/operations/basic/MethodNotifications.kt b/...ain/kotlin/org/usvm/machine/interpreters/symbolic/operations/basic/MethodNotifications.kt
@@ -24,11 +24,6 @@ import org.usvm.machine.types.HasTpRichcmp
 import org.usvm.machine.types.HasTpSetattro
 import org.usvm.machine.types.MockType
 
-@Suppress("unused_parameter")
-fun nbBoolKt(context: ConcolicRunContext, on: UninterpretedSymbolicPythonObject) {
-    context.curState ?: return
-}
-
 fun nbIntKt(context: ConcolicRunContext, on: UninterpretedSymbolicPythonObject) {
     context.curState ?: return
     on.addSupertypeSoft(context, HasNbInt)