Showing error 2291

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: systemc/pipeline_unsafe.cil.c
Line in file: 8
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

  1extern int __VERIFIER_nondet_int();
  2
  3void error(void) 
  4{ 
  5
  6  {
  7  goto ERROR;
  8  ERROR: ;
  9  return;
 10}
 11}
 12int main_in1_val  ;
 13int main_in1_val_t  ;
 14int main_in1_ev  ;
 15int main_in1_req_up  ;
 16int main_in2_val  ;
 17int main_in2_val_t  ;
 18int main_in2_ev  ;
Show full sources
↑