Skip to content

Commit 458e96f

Browse files
committed
Remove mistakenly added code
1 parent dff2275 commit 458e96f

1 file changed

Lines changed: 0 additions & 22 deletions

File tree

usvm-jvm/src/main/kotlin/org/usvm/machine/JcTypeSystem.kt

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -17,28 +17,6 @@ import org.usvm.types.UTypeStream
1717
import org.usvm.types.UTypeSystem
1818
import kotlin.time.Duration
1919

20-
open class A {
21-
protected open fun foo() {
22-
println("Hello")
23-
}
24-
}
25-
26-
class B : A() {
27-
override fun foo() {
28-
println("Hello")
29-
30-
}
31-
32-
fun getsa() {
33-
val method = this.javaClass.methods
34-
}
35-
}
36-
37-
fun main() {
38-
val a = B()
39-
println(a.javaClass.declaredMethods.toList().joinToString("\n"))
40-
}
41-
4220
class JcTypeSystem(
4321
private val cp: JcClasspath,
4422
override val typeOperationsTimeout: Duration

0 commit comments

Comments
 (0)