Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prevent copying/assigning to ResultTable + format #58

Merged
merged 1 commit into from Jun 6, 2018
Merged

Prevent copying/assigning to ResultTable + format #58

merged 1 commit into from Jun 6, 2018

Conversation

niklas88
Copy link
Member

@niklas88 niklas88 commented Jun 5, 2018

with ResulTable(s) being used for waiting on a result copying or assigning them
becomes difficult to handle. Thankfully we don't actually do that so delete the
copy and assignment constructors/operator=s and thus make sure it never
happens. While we are here format it and also fix some signed-unsigned
comparisons in IndexTest

with ResulTable(s) being used for waiting on a result copying or assigning them
becomes difficult to handle. Thankfully we don't actually do that so delete the
copy and assignment constructors/operator=s and thus make sure it never
happens. While we are here format it and also fix some signed-unsigned
comparisons in IndexTest
@floriankramer floriankramer merged commit e3adbd7 into ad-freiburg:master Jun 6, 2018
@niklas88 niklas88 deleted the safer_result_table branch October 31, 2018 09:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants