bts0916.res.oracle

[kernel] Parsing bts0916.i (no preprocessing)
/* Generated by Frama-C */
/* run.config
   STDOPT: +"-keep-comments"
*/
// Use frama-c with option -keep-comments 
void main(void)
{
  int port = 10;
  // ( port & 0x80 ) == 0 )
  // wait for pin1 - Compliant
  // wait for pin2 
  //  Not compliant/*, comment before ; 
  // wait for pin3 - Not compliant, no white-space char after ; 
  while (1) {
    int tmp;
    tmp = port;
    port --;
    ;
    if (! (tmp > 0)) // ( port & 0x80 ) == 0 )
                     // wait for pin1 - Compliant
                     // wait for pin2 
                     //  Not compliant/*, comment before ; 
                     // wait for pin3 - Not compliant, no white-space char after ; 
                     break;
  }
  return;
}