search

ssm-lang / Scoria

This is an embedding of the Sparse Synchronous Model, in Haskell!
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

More shrinking! #39

Closed Rewbert closed 3 years ago

Rewbert commented 3 years ago

Rewrote some of the shrinking strategies to reuse more code & shrink more stuff. There's also 2 bug-fixes to the runtime system here.

I split the shrinking up into several modules (one module per shrinking strategy). This, imo, makes it easier to get an overview of how each shrinking strategy is implemented. It helped me debug some of them while I was doing this.

j-hui commented 3 years ago

adding note that this fixes #31

Rewbert commented 3 years ago

Awesome! Really looking forward to having truly minimal failing test cases (:

Fingers crossed that we'll get some nice, small test-cases now! Please let me know as soon as you find any test case which you see could have been shrunk more, and I'll try to add strategies to match these specific instances.