Facebook/infer-inferprint command

If you want to view the files under Infer-out/specs, you can use the inferprint command command

Inferprint Specs File

For example, if we look at the Infer-out/specs/hello_hello.specs file, we can execute the following command:

Inferprint Infer-out/specs/hello_hello.specs
The results are as follows:

Localhost:ios_hello wuxian$ inferprint infer-out/specs/hello_hello.specs
Procedure:hello_hello
class Hello *hello_hello (class Hello *self)
timestamp:1
status:inactive
phase:re_execution
dependency_map: 
time:0.000931 s timeout:n symops:20 calls:0,0
ERRORS: 
---------------------------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}:
----------------------------------------------------------------

Information

What do you mean, you can read the results above? I'm stupid, I can't understand. I'll have time to get to know later.