text: /*******************************************************************\
  
   Module:
  
   Author: Vincent Nimal
  
  \*******************************************************************/
  
  
  #ifndef CPROVER_MUSKETEER_INFER_MODE_H
  #define CPROVER_MUSKETEER_INFER_MODE_H
  
  enum infer_modet
  {
    INFER=0,
    USER_DEF=1,
    USER_ASSERT=2
  };
  
  #endif // CPROVER_MUSKETEER_INFER_MODE_H
  