Johannes Link

> The user would have to enable JQF's bytecode instrumentation somehow. It is available as a `custom classloader` or as a `javaagent`. > It would be fine to leave javaagent...

@vlsi I looked at the examples coming with JQF. They don't seem to define any special case guidance which confuses me. Take this simple example: ```java @Fuzz public void insert(int...

> PS. We can have a small conversation (e.g. Zoom, or https://meet.jit.si/) so screen sharing+voice might be more productive. Would be cool. When do you have time this week?

@rohanpadhye > Hi! I am the main developer of JQF. Thanks for chiming in. Much appreciated. The example is a motivating one that I could strive for to get running...

@rohanpadhye I could get the isolated example to run (many thanks!). It does not find a unique failure, though. Using mvn:repro fails with `Cannot find or open file target/fuzz-results/examples.PatriciaTrieTest/testMap2Trie/failures/id_000000` BTW,...

@rohanpadhye Tried the example a few more times. Eventually I got a unique failure. After some code reading I guess that integrating JQF with jqwik will require an agent similar...

@vlsi Even then. The dependency on JQF (without Zest) would be too strong IMO to put it into jqwik's core. Alternatively jqwik had to duplicate a lot of what JQF...

@vlsi To summarize our talk: 1. We'll together work out a first attempt at a generic `GenerationGuidance` interface 2. I'll implement it straightforwardly in a dedicated branch 3. We'll try...

@vlsi > PS. I wonder if jqwilk engine can be integrated with JUnit5's default one. There is one easier solution to the problem of using jqwik with Jupiter: A functional...

Rerunning just the shrunk sample is covered by ˋAfterFailureMode.SAMPLE_ONLYˋ. Won’t that suffice? The problem with exposing the full shrinking information is that it can be quite lengthy; it’s actually a...