Hey @luis3m, did you convert the tests to property checks as @simpadjo suggested? Not seeing those changes.

@iravid I somehow missed that part, will update in a few.

@iravid added the new properties

@luis3m could you please make test input randomly generated?
Here is an example: https://github.com/zio/zio/blob/master/streams-tests/shared/src/test/scala/zio/stream/ZTransducerSpec.scala#L65

@simpadjo done

Generating streams using ZStream.fromChunks gives better coverage (perhaps there should be an utility method for it). ZStream.fromIterable consists of a single chunk.

@simpadjo done (not sure what you mean by the utility method, something like streamOf?)

Yes, something like (Gen[A], Gen[Int]) => Gen[Stream[A]]. Maybe Gen[Int] could be just hardcoded.
If you want to work on it, look at this issue as well: #3550

@simpadjo cool, I will probably work on this at some point this week (perhaps tonight but not sure)