Showing error 1723

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_spec27_product17_unsafe.cil.c
Line in file: 1374
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1344                        }
1345                      }
1346                    }
1347                  }
1348                }
1349              }
1350            }
1351          }
1352        }
1353      }
1354    }
1355  }
1356  while_0_break: /* CIL Label */ ;
1357  }
1358  {
1359#line 60
1360  bobToRjh();
1361  }
1362#line 167 "scenario.c"
1363  return;
1364}
1365}
1366#line 1 "wsllib_check.o"
1367#pragma merger(0,"wsllib_check.i","")
1368#line 3 "wsllib_check.c"
1369void __automaton_fail(void) 
1370{ 
1371
1372  {
1373  goto ERROR;
1374  ERROR: ;
1375#line 53 "wsllib_check.c"
1376  return;
1377}
1378}
1379#line 1 "Util.o"
1380#pragma merger(0,"Util.i","")
1381#line 1 "Util.h"
1382int prompt(char *msg ) ;
1383#line 9 "Util.c"
1384int prompt(char *msg )
Show full sources
↑