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

[Epic] Tests improvements #6608

Open
effectfully opened this issue Oct 29, 2024 · 1 comment
Open

[Epic] Tests improvements #6608

effectfully opened this issue Oct 29, 2024 · 1 comment
Labels
Low priority Doesn't require immediate attention status: triaged Test

Comments

@effectfully
Copy link
Contributor

This issue is for dumping all the plans regarding tests improvements in a largely unstructured way.
@effectfully effectfully added Test Low priority Doesn't require immediate attention status: triaged labels Oct 29, 2024
@effectfully
Copy link
Contributor Author

effectfully commented Oct 29, 2024 •
edited
Loading

  • discardIfAnyConstant (not . isSerialisable) $ Generators.genProgram @DefaultFun potentially wastes a lot of time discarding generated programs. discardIfAnyConstant is used in quite a few places
  • Evaluation.Builtins.Definition should demand that each built-in function is unit-tested
  • remove ignoreTest from Plutus IR tests by fixing the tests
  • increase the number of test runs in Plutus IR from no to some (i.e. fix withMaxSuccess 0) for failing shrinking tests by figuring out why they are taking too long and fixing that
  • can we somehow ban running 100 tests altogether? So that the number of tests to run is always explicitly specified

@effectfully effectfully mentioned this issue Nov 20, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Low priority Doesn't require immediate attention status: triaged Test
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@effectfully