We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e1b0d01 commit a09243fCopy full SHA for a09243f
usvm-ts/src/main/kotlin/org/usvm/api/targets/ReachabilityObserver.kt
@@ -4,7 +4,6 @@ import org.usvm.machine.state.TsState
4
import org.usvm.statistics.UMachineObserver
5
6
class ReachabilityObserver : UMachineObserver<TsState> {
7
- // TODO what if it reached in unreachable later path?
8
override fun onState(parent: TsState, forks: Sequence<TsState>) {
9
parent
10
.targets
0 commit comments