Details
Description
Implement what is needed for running infer (the selected tool) locally:
- Modify/create scripts for installing infer.
- Add targets for running infer.
- etc.
Phase 2 will be integration to BuildBot.
Implement what is needed for running infer (the selected tool) locally:
Phase 2 will be integration to BuildBot.