Showing error 1882

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

Source: 

1041#line 329
1042    tmp___0 = 1;
1043  }
1044#line 329
1045  retValue_acc = tmp___0;
1046#line 331
1047  return (retValue_acc);
1048#line 338
1049  return (retValue_acc);
1050}
1051}
1052#line 77 "MinePump.c"
1053void startSystem(void) 
1054{ 
1055
1056  {
1057#line 79
1058  systemActive = 1;
1059#line 362 "MinePump.c"
1060  return;
1061}
1062}
1063#line 1 "wsllib_check.o"
1064#pragma merger(0,"wsllib_check.i","")
1065#line 3 "wsllib_check.c"
1066void __automaton_fail(void) 
1067{ 
1068
1069  {
1070  goto ERROR;
1071  ERROR: ;
1072#line 53 "wsllib_check.c"
1073  return;
1074}
1075}
1076#line 1 "Specification1_spec.o"
1077#pragma merger(0,"Specification1_spec.i","")
1078#line 11 "Specification1_spec.c"
1079void __utac_acc__Specification1_spec__1(void) 
1080{ int tmp ;
1081  int tmp___0 ;
Show full sources
↑