FaceBook/infer-InferPrint命令

如果想查看infer-out/specs下的文件，可以通过InferPrint命令

命令

InferPrint specs文件

比如我们查看infer-out/specs/Hello_hello.specs文件，可以执行如下命令:

InferPrint infer-out/specs/Hello_hello.specs
结果如下:

localhost:ios_hello wuxian$ InferPrint infer-out/specs/Hello_hello.specsProcedure: Hello_helloclass Hello *Hello_hello(class Hello *self)Timestamp: 1Status: INACTIVEPhase: RE_EXECUTIONDependency_map: TIME:0.000931 s TIMEOUT:N SYMOPS:20 CALLS:0,0ERRORS: --------------------------- 1 of 1 [nvisited: -1] ---------------------------PRE:self = val$1: ;self|->{_hello:val$2}:POST 1 of 1:self = val$1: ; return = val$2: ;self|->{_hello:return}:----------------------------------------------------------------

信息

你能看懂上面的结果是什么意思?我愚钝，理解不了.等以后有时间好好了解.