I can confirm that the current behaviour is a bug. I didn't check thoroughly how this information gets propagated through the sub-searches, but in any case the correct behaviour here would be for
`iterated([astar(blind(), max_time=0)])`
to result in similar output and the same search exit code as
`astar(blind(), max_time=0)`
If the new code achieves this, feel free to merge.
|