Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ unget
Method
unget
tools/alive_parser.cpp:126–130 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
124
}
125
126
void unget(token t) {
127
assert(returned == false);
128
returned = true;
129
last = t;
130
}
131
132
bool empty() {
133
return peek() == END;
Callers
7
parse_predicate
Function · 0.80
alive_parser.cpp
File · 0.80
parse_icmp_cond
Function · 0.80
parse_call
Function · 0.80
parse_copyop
Function · 0.80
parse_instr
Function · 0.80
parse_fn
Function · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected