Skip to content

Support replay on gen with deep paths #4363

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
Open
dubzzz opened this issue Oct 22, 2023 · 0 comments
Open

Support replay on gen with deep paths #4363

dubzzz opened this issue Oct 22, 2023 · 0 comments
Labels
💡 Idea to investigate Non straightforward features that seems great but need to be assessed and designed carefully.

Comments

@dubzzz
Copy link
Owner

dubzzz commented Oct 22, 2023

🚀 Feature Request

Related to #4339

Hardly feasible except by accepting intermediate execution.

In other words, when receiving path=x:y:z, we would have to:

  • run the property once for the seed with an offset of x
  • shrink up to offset y and run
  • shrink up to offset z and run (it's the one we wanted to run)
@dubzzz dubzzz added 🚀 Feature Request 💡 Idea 💡 Idea to investigate Non straightforward features that seems great but need to be assessed and designed carefully. and removed 🚀 Feature Request labels Oct 25, 2023
@dubzzz dubzzz removed the 💡 Idea label Mar 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
💡 Idea to investigate Non straightforward features that seems great but need to be assessed and designed carefully.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dubzzz