Showing error 1816

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

Source: 

1848                        }
1849                      }
1850                    }
1851                  }
1852                }
1853              }
1854            }
1855          }
1856        }
1857      }
1858    }
1859  }
1860  while_3_break: /* CIL Label */ ;
1861  }
1862  {
1863#line 60
1864  bobToRjh();
1865  }
1866#line 167 "scenario.c"
1867  return;
1868}
1869}
1870#line 1 "wsllib_check.o"
1871#pragma merger(0,"wsllib_check.i","")
1872#line 3 "wsllib_check.c"
1873void __automaton_fail(void) 
1874{ 
1875
1876  {
1877  goto ERROR;
1878  ERROR: ;
1879#line 53 "wsllib_check.c"
1880  return;
1881}
1882}
1883#line 1 "Client.o"
1884#pragma merger(0,"Client.i","")
1885#line 4 "ClientLib.h"
1886int initClient(void) ;
1887#line 14
1888int getClientAddressBookSize(int handle ) ;
Show full sources
↑