pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[infer][biabduction] generate the Objective C and C++ models in single core mode

Browse Source 
Reviewed By: mbouaziz

Differential Revision: D9370381

fbshipit-source-id: 5da2d2e76
master
Jeremy Dubreil 7 years ago committed by Facebook Github Bot
parent 7c8f00eb76
commit 98c596c546
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
infer/models/Makefile
Unescape View File

@ -13,7 +13,7 @@ OBJC_MODELS_DIR = objc/src
OBJCPP_MODELS_DIR = objcpp/src OBJCPP_MODELS_DIR = objcpp/src
MODELS_INFER_OUT = infer-out MODELS_INFER_OUT = infer-out
MODELS_INFER_OPTIONS = --biabduction-only --results-dir $(MODELS_INFER_OUT) --models-mode MODELS_INFER_OPTIONS = --jobs 1 --biabduction-only --results-dir $(MODELS_INFER_OUT) --models-mode
all: all:

Write Preview
Loading…
Cancel
Save