plutus icon indicating copy to clipboard operation
plutus copied to clipboard
verified publisher icon IntersectMBO

[Epic] Tests improvements

Open effectfully opened this issue 1 year ago • 1 comments

This issue is for dumping all the plans regarding tests improvements in a largely unstructured way.

effectfully avatar Oct 29 '24 12:10 effectfully

  • [x] 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 avatar Oct 29 '24 12:10 effectfully