C++ (Cpp) alo Examples

Example #1

File: repro1.cpp Project: zmyer/infer

static inline void gal(lt* t, ai a) {
  ASSERT(t);
  lo o = alo(a);
  if (__infer_nondet_int()) {
    al->tL(*t, o);
  } else {
    al->l(*t, o);
  }
}

Example #2

File: PRINC1.C Project: h3nnn4n/main_ccs

 int main(void)
 
 {
 
    /*int i=4;
    printf("ALTERADO....ISTO EH UM TESTE IMPORTANTE");
    i++;
    printf("\n..... %d", i) ;
    getchar();
    */
    char frase[]= "isso eh um teste do e";
    int t;
    alo();
    printf("\n..... %d", manda_num()) ;
    printf("\n..... enviou um aleatorio") ;
    printf("\n..... %d", mult_10(314)) ;
    printf("\n..... multiplicou ... por 10..." ) ;
    conta_freq ( &frase[0] , 'e' , t );
    getchar();
 
 
 }

Example #3

File: repro1.cpp Project: zmyer/infer

static inline void ral_FP(lt* t, ai a) {
  ASSERT(t);
  lo o = alo(a);
  al->u_FP(*t, o);
}