4 ms·
Infer computes fixpoints whenever there is a cycle in the call graph, until it reaches stable procedure summaries or timeouts.
by theblatte 11y ago
Infer computes fixpoints whenever there is a cycle in the call graph, until it reaches stable procedure summaries or timeouts.
- cactusface 11y agoOk, thanks for indulging my curiosity guys!