Showing error 238

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: systemc/pc_sfifo_3.cil.c
Line in file: 7
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

  1
  2void error(void) 
  3{ 
  4
  5  {
  6  goto ERROR;
  7  ERROR: ;
  8  return;
  9}
 10}
 11
 12int fast_clk_edge  ;
 13int slow_clk_edge  ;
 14int q_buf_0  ;
 15int q_free  ;
 16int q_read_ev  ;
 17int q_write_ev  ;
Show full sources
↑