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_product26_safe.cil.c |
Line in file: | 1291 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1261#line 12 1262 if (tmp___1) { 1263 1264 } else { 1265 1266 } 1267 } 1268 { 1269#line 14 1270 timeShift(); 1271 } 1272 } 1273 while_4_break: /* CIL Label */ ; 1274 } 1275 { 1276#line 16 1277 cleanup(); 1278 } 1279#line 76 "scenario.c" 1280 return; 1281} 1282} 1283#line 1 "wsllib_check.o" 1284#pragma merger(0,"wsllib_check.i","") 1285#line 3 "wsllib_check.c" 1286void __automaton_fail(void) 1287{ 1288 1289 { 1290 goto ERROR; 1291 ERROR: ; 1292#line 53 "wsllib_check.c" 1293 return; 1294} 1295}