Sam

I removed DD tracing from the stack to make sure that wasn't messing with it. ``` io.vertx.core.VertxException: Received HTTP message with no request in progress at io.vertx.core.http.impl.Http1xClientConnection.handleHttpMessage(Http1xClientConnection.java:790) at io.vertx.core.http.impl.Http1xClientConnection.handleMessage(Http1xClientConnection.java:774) at...

> thanks waiting for you reproducer , since this does not use SSL you might want to capture with wireshark to understand what is going on Yeah issue is the...

@OliverO2 I've merged your suggestion but the code no longer compiles and I don't really understand how the virtual time stuff works that you added. Can you give a brief...

@OliverO2 if you can time could you re-review

One additional nice benefit, is that shrinking includes the variable name in the output: ``` Will begin shrinking for the following failed values Arg (val a: kotlin.Int) => -1014571228 Arg...

> A bit off-topic, but we do go > > * Gen -> Generator > * Arb -> Arbitrary > * Exhaustive -> Exhaustive > > I think it's a...

> I like the approach. > > Some initial thoughts, intentionally not looking into the implementation, trying to suppress existing knowledge about property testing, and trying with a fresh look....

> OK, in that case I'd prefer `withPermutations { ... }` to indicate that it influences the behavior of the code inside (like `withContext`) and does not return any meaningful...

@oliverblaha any feedback?

> I'd love to give feedback, but did you mean to actually tag me? Yes. You've opened some PRs on property testing so I figured you use it enough to...