Showing error 1400

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/rule57_ebda_blast.c_unsafe.i
Line in file: 9
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

  1# 1 "files/rule57_ebda_blast.c"
  2# 1 "<built-in>"
  3# 1 "<command-line>"
  4# 1 "files/rule57_ebda_blast.c"
  5# 1 "./assert.h" 1
  6
  7void __blast_assert()
  8{
  9 ERROR: goto ERROR;
 10}
 11# 2 "files/rule57_ebda_blast.c" 2
 12
 13
 14
 15
 16
 17
 18
 19
Show full sources
↑