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

Queues: Simplify Test Oracles #2248

Open
Tracked by #2191
KabirSamsi opened this issue Aug 5, 2024 · 0 comments
Open
Tracked by #2191

Queues: Simplify Test Oracles #2248

KabirSamsi opened this issue Aug 5, 2024 · 0 comments
Assignees
@KabirSamsi
Labels
C: Queues One of the queue-style frontends

Comments

@KabirSamsi
Copy link
Collaborator

See #2191. The goal is as follows:

Make our oracles as clean, simple, and believable as possible. If some of our queues are meant to behave identically, they should use the same oracle. Use library implementations where possible. In addition, we can still have our pure-Python implementations that more closely track the logic in our eDSL code. These three implementations will all agree.
@KabirSamsi KabirSamsi self-assigned this Aug 5, 2024
@KabirSamsi KabirSamsi changed the title Simplify Queue Test Oracles Queues: Simplify Test Oracles Aug 5, 2024
@anshumanmohan anshumanmohan added the C: Queues One of the queue-style frontends label Aug 9, 2024
@anshumanmohan anshumanmohan mentioned this issue Aug 9, 2024
Open
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@KabirSamsi KabirSamsi

Labels
C: Queues One of the queue-style frontends
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@anshumanmohan @KabirSamsi