Skip to content

Commit a7344e6

Browse files
committed
Remove previousState
1 parent 70538bd commit a7344e6

File tree

1 file changed

+0
-2
lines changed
  • usvm-ts/src/main/kotlin/org/usvm/machine/state

1 file changed

+0
-2
lines changed

usvm-ts/src/main/kotlin/org/usvm/machine/state/TsState.kt

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,6 @@ class TsState(
7878
* for identical string values.
7979
*/
8080
var stringConstantAllocatedRefs: UPersistentHashMap<String, UConcreteHeapRef> = persistentHashMapOf(),
81-
val previousState: TsState? = null,
8281
) : UState<EtsType, EtsMethod, EtsStmt, TsContext, TsTarget, TsState>(
8382
ctx = ctx,
8483
initOwnership = ownership,
@@ -278,7 +277,6 @@ class TsState(
278277
closureObject = closureObject,
279278
boundThis = boundThis,
280279
stringConstantAllocatedRefs = stringConstantAllocatedRefs,
281-
previousState = this,
282280
)
283281
}
284282

0 commit comments

Comments
 (0)