Now that snapshotting is in place for the initial state, stack allocation is
deterministic across executions, so we can compare stack-allocated addresses
again.
bool ModelAction::same_var(ModelAction *act)
{
bool ModelAction::same_var(ModelAction *act)
{
- return true;
- // TODO: fix stack allocation... return location == act->location;
+ return location == act->location;
}
bool ModelAction::same_thread(ModelAction *act)
}
bool ModelAction::same_thread(ModelAction *act)