Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2018-07-27.14:45:45 by jendrik, last changed by silvan.
Merged.
I had a look, looks good to me.
"do would" -> "would you"
Malte, do would also like to have a look at it?
Looks good to me.
I prepared a pull-request: https://bitbucket.org/SilvanS/fd-dev/pull-requests/38/issue809/diff
When using prune_unreachable_states=true, merge-and-shrink is only forward- admissible, not admissible.