Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/SymbolicPathFinder/jpf-symbc
/ nextLine
Method
nextLine
src/classes/java/util/Scanner.java:15–17 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
source not stored for this graph (policy: none)
Callers
2
main
Method · 0.95
user_test
Method · 0.95
Calls
1
makeSymbolicString
Method · 0.95
Tested by
1
user_test
Method · 0.76