search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.55k stars 466 forks source link

[Test] [Builtin] Polish 'MakeRead' tests #6202

Closed effectfully closed 3 weeks ago

effectfully commented 3 weeks ago

This is a quick refactoring of one test file. Removes some redundant stuff, changes some wording. Not important in any way. I wanted to replace hedgehog with QuickCheck here, but then realized that the tests are too unimportant to bother further with them.

effectfully commented 3 weeks ago

This is blocking me elsewhere. Given that it's just a simple refactoring of an unimportant test file, I'm going to merge it without a review, but please do still review the PR and I'll address the comments later.