Showing error 2158

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

Source: 

 932#line 85
 933  tmp = valid_product();
 934  }
 935#line 85
 936  if (tmp) {
 937    {
 938#line 86
 939    setup();
 940#line 87
 941    runTest();
 942    }
 943  } else {
 944
 945  }
 946#line 1234 "Test.c"
 947  retValue_acc = 0;
 948#line 1236
 949  return (retValue_acc);
 950#line 1243
 951  return (retValue_acc);
 952}
 953}
 954#line 1 "wsllib_check.o"
 955#pragma merger(0,"wsllib_check.i","")
 956#line 3 "wsllib_check.c"
 957void __automaton_fail(void) 
 958{ 
 959
 960  {
 961  goto ERROR;
 962  ERROR: ;
 963#line 53 "wsllib_check.c"
 964  return;
 965}
 966}
 967#line 1 "scenario.o"
 968#pragma merger(0,"scenario.i","")
 969#line 11 "scenario.c"
 970void startSystem(void) ;
 971#line 1 "scenario.c"
 972void test(void)
Show full sources
↑