cprover
infer_mode.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations

enum  infer_modet { INFER =0, USER_DEF =1, USER_ASSERT =2 }
 

Enumeration Type Documentation

◆ infer_modet

Enumerator
INFER 
USER_DEF 
USER_ASSERT 

Definition at line 13 of file infer_mode.h.