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.

Sign up for GitHub

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

Jump to bottom

Eliminate the use of head in tests #158

Open
wasowski opened this issue Oct 19, 2022 · 0 comments
Open

Eliminate the use of head in tests #158

wasowski opened this issue Oct 19, 2022 · 0 comments
Assignees
@mohsen-ghaffari1992
Labels
paper

Comments

@wasowski
Copy link
Member

The direct use of head exploits the fact the underlying implementation of randomized 'leaks'.

I created a branch test-branch when I drafted how the test can be written without using head (and used this test in the submission, Section 5). This needs to be cleaned, and other uses of head need to be eliminated.
mohsen-ghaffari1992 added a commit that referenced this issue Oct 26, 2022
@mohsen-ghaffari1992
Issue #158 is solved.
b08ea65
wasowski pushed a commit that referenced this issue Oct 28, 2022
@mohsen-ghaffari1992 @wasowski
Issue #158 is solved.
33b6f6e
@wasowski wasowski added the paper label Nov 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mohsen-ghaffari1992 mohsen-ghaffari1992

Labels
paper
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wasowski @mohsen-ghaffari1992