We currently terminate Infer after 25 sec of CPU time. But if anyone is interested in trying it for lager examples, I can recommend their Docker file: https://

We currently terminate Infer after 25 sec of CPU time. But if anyone is interested in trying it for lager examples, I can recommend their Docker file: https://github.com/facebook/infer/tree/master/docker https://github.com/facebook/infer/tree/master/docker