Make is_empty() and propagate_subset() not unnecessarily rely on the src and dst
#643
| Job | Run time |
|---|---|
| 13m 2s | |
| 13m 2s |
is_empty() and propagate_subset() not unnecessarily rely on the src and dst
#643
| Job | Run time |
|---|---|
| 13m 2s | |
| 13m 2s |