Showing error 1370

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-regression/just_assert.c_safe.i
Line in file: 10
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

 1# 1 "files/just_assert.c"
 2# 1 "<built-in>"
 3# 1 "<command-line>"
 4# 1 "files/just_assert.c"
 5
 6
 7int main()
 8{
 9 if (2+2 == 5){
10  ERROR: goto ERROR;
11 }
12 return 0;
13}
↑