It seams to me that APT buffers the graph when calling getReachability and when calling getCoverability (and get() uses getCoverability?) with two different keys. This means, one should uniquely call the same method to not produce overhead (since for aus (1-bounded) the reachability and the coverabillity graphs are equal).
It seams to me that APT buffers the graph when calling getReachability and when calling getCoverability (and get() uses getCoverability?) with two different keys. This means, one should uniquely call the same method to not produce overhead (since for aus (1-bounded) the reachability and the coverabillity graphs are equal).