-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: martinruefenacht/lemonspotter
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Test-case shrinking for property-based testing
enhancement
New feature or request
#45
opened Jan 10, 2020 by
martinruefenacht
Language expression
question
Further information is requested
#43
opened Dec 18, 2019 by
martinruefenacht
Variable Generation Overhaul
enhancement
New feature or request
#38
opened Dec 15, 2019 by
carsonwoods
MPI Graph exploration for test generation
enhancement
New feature or request
major
This is a major feature for the future.
#35
opened Nov 14, 2019 by
martinruefenacht
Handle MPI Errors better
enhancement
New feature or request
#27
opened Aug 20, 2019 by
martinruefenacht
Separate Language Spec from API Spec
enhancement
New feature or request
#13
opened Aug 12, 2019 by
martinruefenacht
How do we represent object lifecycles?
question
Further information is requested
#12
opened Aug 12, 2019 by
martinruefenacht
Regression Testing as an Input
enhancement
New feature or request
#11
opened Aug 12, 2019 by
martinruefenacht
Pointer representation is hard
help wanted
Extra attention is needed
invalid
This doesn't seem right
#6
opened Aug 12, 2019 by
martinruefenacht
ProTip!
Add no:assignee to see everything that’s not assigned.