Johannes Link

Added to TODO/BACKLOG.

Done with https://github.com/jlink/jqwik/commit/aea950e1ead866e66ebafbbc2b75479cdaf9f80b Released in 1.7.1-SNAPSHOT

Snapshot documentation is here: https://jqwik.net/docs/snapshot/user-guide.html#filtering-combinations

@vlsi Interesting use case. I'm wondering if > Note, that `CompositeAction(add table, add column)` can't work since its precondition can't be implemented properly. add column verifies that the table with...

> Yet another issue is that I am willing to discard "incompatible" actions during the shrinking phase. > As far as I understand, the current behavior is that jqwik would...

Here's an implementation of `CompositeAction`. The demo code is [here](https://github.com/jlink/jqwik/blob/main/engine/src/test/java/experiments/CompositeActionExperiments.java): ```java class CompositeAction implements Action { private final Action first; private final Action second; public CompositeAction(Action first, Action second) {...

> It terminates execution as soon as any precondition fails. Yes, but this code is not executed during shrinking. AFAIR repeated runs are currently only used in tests to verify...

@vlsi Are composite actions still relevant in the context of the new stateful properties approach? If so, feel free to reopen the issue. The implementation should still be rather straightforward.

Yes it does, that was the whole point. A simple chain example to generate regular expressions: ```java class RegexChainExample { @Property(tries = 10) void generateABPlusC(@ForAll("abplusc") Chain regex) { String string...

> In other words, if I generate `add table` action, I want it to be accompanied with other actions like `add column to table` So it's about _always_ doing those...