next_pair->search_cycle = true;
else
next_pair->search_cycle = false;
- return std::move(next_pair);
+ return next_pair;
}
void LivenessChecker::backtrack()
old_state->num, new_state->num);
visited_state = std::move(new_state);
- return std::move(old_state);
+ return old_state;
}
}
}
}
-}
\ No newline at end of file
+}
if (binary_name.empty()) {
for (std::size_t i = 0; i < count; i++)
result.push_back(simgrid::xbt::string_printf("%p", loc[i]));
- return std::move(result);
+ return result;
}
// Create the system command for add2line: