./deagle /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c --64


--------------------------------------------------------------------------------


./deagle_exe --svcomp --graphml-witness error-witness.graphml --no-assertions --datarace /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
Deagle version 2.2 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (svcomp24-11-gfd1b965b5-dirty) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
Converting
Type-checking main
Generating GOTO Program
doing sscanf! arguments include:
typecast
  * type: pointer
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19905
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * width: 32
      * #restricted: 1
      0: signedbv
          * width: 8
          * #constant: 1
          * #c_type: char
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19905
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: symbol
      * type: pointer
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 18698
            * function: 
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * width: 32
          0: signedbv
              * width: 8
              * #c_type: char
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19905
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * identifier: yytext
      * #lvalue: 1
typecast
  * type: pointer
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19905
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * width: 32
      * #restricted: 1
      0: signedbv
          * width: 8
          * #constant: 1
          * #c_type: char
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19905
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: address_of
      * type: pointer
          * width: 32
          0: signedbv
              * width: 8
              * #c_type: char
      0: index
          * type: signedbv
              * width: 8
              * #c_type: char
          0: string_constant
              * type: array
                  * size: constant
                      * type: signedbv
                          * width: 32
                          * #c_type: signed_int
                      * value: 4
                  0: signedbv
                      * width: 8
                      * #c_type: char
              * #source_location: 
                * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
                * line: 19905
                * function: yylex
                * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
              * value: %lf
              * #lvalue: 1
          1: constant
              * type: signedbv
                  * width: 32
                  * #c_type: signed_int
              * value: 0
address_of
  * type: pointer
      * width: 32
      0: floatbv
          * width: 64
          * f: 52
          * #c_type: double
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19906
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: symbol
      * type: floatbv
          * width: 64
          * f: 52
          * #c_type: double
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19906
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * identifier: yylex::1::temp
      * #lvalue: 1
doing sscanf! arguments include:
typecast
  * type: pointer
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19912
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * width: 32
      * #restricted: 1
      0: signedbv
          * width: 8
          * #constant: 1
          * #c_type: char
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19912
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: +
      * type: pointer
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 18698
            * function: 
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * width: 32
          0: signedbv
              * width: 8
              * #c_type: char
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19912
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      0: symbol
          * type: pointer
              * #source_location: 
                * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
                * line: 18698
                * function: 
                * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
              * width: 32
              0: signedbv
                  * width: 8
                  * #c_type: char
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 19912
            * function: yylex
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * identifier: yytext
          * #lvalue: 1
      1: constant
          * type: signedbv
              * width: 32
              * #c_type: signed_int
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 19912
            * function: yylex
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * value: 2
          * #base: 10
typecast
  * type: pointer
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19912
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * width: 32
      * #restricted: 1
      0: signedbv
          * width: 8
          * #constant: 1
          * #c_type: char
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19912
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: address_of
      * type: pointer
          * width: 32
          0: signedbv
              * width: 8
              * #c_type: char
      0: index
          * type: signedbv
              * width: 8
              * #c_type: char
          0: string_constant
              * type: array
                  * size: constant
                      * type: signedbv
                          * width: 32
                          * #c_type: signed_int
                      * value: 4
                  0: signedbv
                      * width: 8
                      * #c_type: char
              * #source_location: 
                * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
                * line: 19912
                * function: yylex
                * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
              * value: %lx
              * #lvalue: 1
          1: constant
              * type: signedbv
                  * width: 32
                  * #c_type: signed_int
              * value: 0
address_of
  * type: pointer
      * width: 32
      0: unsignedbv
          * width: 32
          * #c_type: unsigned_long_int
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19913
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: symbol
      * type: unsignedbv
          * width: 32
          * #c_type: unsigned_long_int
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19913
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * identifier: yylex::1::temp___0
      * #lvalue: 1
doing sscanf! arguments include:
typecast
  * type: pointer
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19919
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * width: 32
      * #restricted: 1
      0: signedbv
          * width: 8
          * #constant: 1
          * #c_type: char
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19919
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: +
      * type: pointer
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 18698
            * function: 
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * width: 32
          0: signedbv
              * width: 8
              * #c_type: char
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19919
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      0: symbol
          * type: pointer
              * #source_location: 
                * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
                * line: 18698
                * function: 
                * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
              * width: 32
              0: signedbv
                  * width: 8
                  * #c_type: char
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 19919
            * function: yylex
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * identifier: yytext
          * #lvalue: 1
      1: constant
          * type: signedbv
              * width: 32
              * #c_type: signed_int
          * #source_location: 
            * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
            * line: 19919
            * function: yylex
            * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
          * value: 2
          * #base: 10
typecast
  * type: pointer
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19919
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * width: 32
      * #restricted: 1
      0: signedbv
          * width: 8
          * #constant: 1
          * #c_type: char
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19919
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: address_of
      * type: pointer
          * width: 32
          0: signedbv
              * width: 8
              * #c_type: char
      0: index
          * type: signedbv
              * width: 8
              * #c_type: char
          0: string_constant
              * type: array
                  * size: constant
                      * type: signedbv
                          * width: 32
                          * #c_type: signed_int
                      * value: 4
                  0: signedbv
                      * width: 8
                      * #c_type: char
              * #source_location: 
                * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
                * line: 19919
                * function: yylex
                * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
              * value: %lo
              * #lvalue: 1
          1: constant
              * type: signedbv
                  * width: 32
                  * #c_type: signed_int
              * value: 0
address_of
  * type: pointer
      * width: 32
      0: unsignedbv
          * width: 32
          * #c_type: unsigned_long_int
  * #source_location: 
    * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
    * line: 19920
    * function: yylex
    * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
  0: symbol
      * type: unsignedbv
          * width: 32
          * #c_type: unsigned_long_int
      * #source_location: 
        * file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
        * line: 19920
        * function: yylex
        * working_directory: /mnt/goblint-svcomp/benchexec/tools-pldi24/deagle
      * identifier: yylex::1::temp___1
      * #lvalue: 1
Adding CPROVER library (x86_64)
file <builtin-library-getc> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "getc"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 16720
signed int (FILE *)
new definition in module <built-in-library> file <builtin-library-getc> line 9
signed int (FILE *stream)
file <builtin-library-fopen> line 15: warning: conflicting return types "fopen"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 9794
FILE * (const char *, const char *)
new definition in module <built-in-library> file <builtin-library-fopen> line 15
FILE * (const char *filename, const char *mode)
file <builtin-library-fopen> line 15: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fopen"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 9794
FILE * (const char *, const char *)
new definition in module <built-in-library> file <builtin-library-fopen> line 15
FILE * (const char *filename, const char *mode)
file <builtin-library-pthread_mutex_unlock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_unlock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 6544
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_unlock> line 17
signed int (pthread_mutex_t *mutex)
file <builtin-library-gmtime_r> line 9: warning: conflicting return types "gmtime_r"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5561
struct tm * (const time_t *, struct tm *)
new definition in module <built-in-library> file <builtin-library-gmtime_r> line 9
struct tm * (const time_t *clock, struct tm *result)
file <builtin-library-gmtime_r> line 9: 
reason for conflict at #this: names of member 9 differ (__tm_gmtoff/tm_gmtoff)

struct tm {
  signed int tm_sec;
  signed int tm_min;
  signed int tm_hour;
  signed int tm_mday;
  signed int tm_mon;
  signed int tm_year;
  signed int tm_wday;
  signed int tm_yday;
  signed int tm_isdst;
  signed long int __tm_gmtoff;
  const char * __tm_zone;
}
struct tm {
  signed int tm_sec;
  signed int tm_min;
  signed int tm_hour;
  signed int tm_mday;
  signed int tm_mon;
  signed int tm_year;
  signed int tm_wday;
  signed int tm_yday;
  signed int tm_isdst;
  signed long int tm_gmtoff;
  const char * tm_zone;
}
warning: pointer parameter types differ between declaration and definition "gmtime_r"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5561
struct tm * (const time_t *, struct tm *)
new definition in module <built-in-library> file <builtin-library-gmtime_r> line 9
struct tm * (const time_t *clock, struct tm *result)
file <builtin-library-mktime> line 11: warning: conflicting return types "mktime"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5554
time_t (struct tm *)
new definition in module <built-in-library> file <builtin-library-mktime> line 11
time_t (struct tm *timeptr)
file <builtin-library-mktime> line 11: 
reason for conflict at #this: conflict on POD

time_t
time_t
error: conflicting function declarations 'mktime'
old definition in module 'main' file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5554
time_t (struct tm *)
new definition in module '<built-in-library>' file <builtin-library-mktime> line 11
time_t (struct tm *timeptr)
file <builtin-library-mmap> line 23: 
reason for conflict at #this: conflict on POD

__off_t
off_t
error: conflicting function declarations 'mmap'
old definition in module 'main' file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2738
void * (void *, size_t, signed int, signed int, signed int, __off_t)
new definition in module '<built-in-library>' file <builtin-library-mmap> line 23
void * (void *addr, __CPROVER_size_t length, signed int prot, signed int flags, signed int fd, off_t offset)
file <builtin-library-pthread_create> line 20: warning: pointer parameter types differ between declaration and definition "pthread_create"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2722
signed int (pthread_t *, const pthread_attr_t *, void * (*)(void *), void *)
new definition in module <built-in-library> file <builtin-library-pthread_create> line 20
signed int (pthread_t *thread, const pthread_attr_t *attr, void * (*start_routine)(void *), void *arg)
file <builtin-library-fileno> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fileno"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2701
signed int (FILE *)
new definition in module <built-in-library> file <builtin-library-fileno> line 9
signed int (FILE *stream)
file <builtin-library-fdopen> line 12: warning: conflicting return types "fdopen"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2700
FILE * (signed int, const char *)
new definition in module <built-in-library> file <builtin-library-fdopen> line 12
FILE * (signed int handle, const char *mode)
file <builtin-library-fdopen> line 12: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fdopen"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2700
FILE * (signed int, const char *)
new definition in module <built-in-library> file <builtin-library-fdopen> line 12
FILE * (signed int handle, const char *mode)
file <builtin-library-fclose> line 14: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fclose"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2699
signed int (FILE *)
new definition in module <built-in-library> file <builtin-library-fclose> line 14
signed int (FILE *stream)
file <builtin-library-fread> line 10: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fread"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 16721
size_t (void *, size_t, size_t, FILE *)
new definition in module <built-in-library> file <builtin-library-fread> line 10
size_t (void *ptr, size_t size, size_t nitems, FILE *stream)
file /usr/include/stdio.h line 143: warning: conflicting pointer types for variable "stdin"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 13145
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
new definition in module <built-in-library> file /usr/include/stdio.h line 143
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
file <builtin-library-fwrite> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fwrite"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 878
size_t (const void *, size_t, size_t, FILE *)
new definition in module <built-in-library> file <builtin-library-fwrite> line 9
size_t (const void *ptr, size_t size, size_t nitems, FILE *stream)
file <builtin-library-ferror> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "ferror"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 16723
signed int (FILE *)
new definition in module <built-in-library> file <builtin-library-ferror> line 9
signed int (FILE *stream)
file <builtin-library-pthread_mutex_init> line 27: warning: pointer parameter types differ between declaration and definition "pthread_mutex_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 6540
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-localtime_r> line 9: warning: conflicting return types "localtime_r"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5563
struct tm * (const time_t *, struct tm *)
new definition in module <built-in-library> file <builtin-library-localtime_r> line 9
struct tm * (const time_t *clock, struct tm *result)
file <builtin-library-localtime_r> line 9: 
reason for conflict at #this: names of member 9 differ (__tm_gmtoff/tm_gmtoff)

struct tm {
  signed int tm_sec;
  signed int tm_min;
  signed int tm_hour;
  signed int tm_mday;
  signed int tm_mon;
  signed int tm_year;
  signed int tm_wday;
  signed int tm_yday;
  signed int tm_isdst;
  signed long int __tm_gmtoff;
  const char * __tm_zone;
}
struct tm {
  signed int tm_sec;
  signed int tm_min;
  signed int tm_hour;
  signed int tm_mday;
  signed int tm_mon;
  signed int tm_year;
  signed int tm_wday;
  signed int tm_yday;
  signed int tm_isdst;
  signed long int tm_gmtoff;
  const char * tm_zone;
}
warning: pointer parameter types differ between declaration and definition "localtime_r"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5563
struct tm * (const time_t *, struct tm *)
new definition in module <built-in-library> file <builtin-library-localtime_r> line 9
struct tm * (const time_t *clock, struct tm *result)
file <builtin-library-fprintf> line 12: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fprintf"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 875
signed int (FILE *, const char *, ...)
new definition in module <built-in-library> file <builtin-library-fprintf> line 12
signed int (FILE *stream, const char * restrict format, ...)
file /usr/include/stdio.h line 145: warning: conflicting pointer types for variable "stderr"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 874
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
new definition in module <built-in-library> file /usr/include/stdio.h line 145
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
file <builtin-library-fputs> line 9: 
reason for conflict at #this._chain->_old_offset: conflict on POD

__off_t
__off_t

reason for conflict at #this._chain->_old_offset: type of member _chain differs (recursive)

struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
}
warning: pointer parameter types differ between declaration and definition "fputs"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 877
signed int (const char *, FILE *)
new definition in module <built-in-library> file <builtin-library-fputs> line 9
signed int (const char *s, FILE *stream)
file <builtin-library-pthread_mutex_lock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_lock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 6543
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_lock> line 17
signed int (pthread_mutex_t *mutex)
file <builtin-library-time> line 11: warning: conflicting return types "time"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5552
time_t (time_t *)
new definition in module <built-in-library> file <builtin-library-time> line 11
time_t (time_t *tloc)
file <builtin-library-time> line 11: 
reason for conflict at #this: conflict on POD

time_t
time_t
error: conflicting function declarations 'time'
old definition in module 'main' file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5552
time_t (time_t *)
new definition in module '<built-in-library>' file <builtin-library-time> line 11
time_t (time_t *tloc)
file /usr/include/stdio.h line 144: warning: conflicting pointer types for variable "stdout"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 873
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
new definition in module <built-in-library> file /usr/include/stdio.h line 144
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
file /usr/include/stdio.h line 145: warning: conflicting pointer types for variable "stderr"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 874
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
new definition in module <built-in-library> file /usr/include/stdio.h line 145
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
file /usr/include/stdio.h line 144: warning: conflicting pointer types for variable "stdout"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 873
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
new definition in module <built-in-library> file /usr/include/stdio.h line 144
struct _IO_FILE {
  signed int _flags;
  char * _IO_read_ptr;
  char * _IO_read_end;
  char * _IO_read_base;
  char * _IO_write_base;
  char * _IO_write_ptr;
  char * _IO_write_end;
  char * _IO_buf_base;
  char * _IO_buf_end;
  char * _IO_save_base;
  char * _IO_backup_base;
  char * _IO_save_end;
  struct _IO_marker * _markers;
  struct _IO_FILE * _chain;
  signed int _fileno;
  signed int _flags2;
  __off_t _old_offset;
  unsigned short int _cur_column;
  signed char _vtable_offset;
  char [1] _shortbuf;
  _IO_lock_t * _lock;
  __off64_t _offset;
  struct _IO_codecvt * _codecvt;
  struct _IO_wide_data * _wide_data;
  struct _IO_FILE * _freeres_list;
  void * _freeres_buf;
  size_t __pad5;
  signed int _mode;
  char [40] _unused2;
} *
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 8672 function strm_stream_close: replacing function pointer by 72 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 1748 function strm_funcall: replacing function pointer by 138 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 2690 function cfunc_exec: replacing function pointer by 138 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 7654 function latch_push: replacing function pointer by 74 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 7682 function strm_latch_receive: replacing function pointer by 74 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 7708 function latch_close: replacing function pointer by 74 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 8526 function task_exec: replacing function pointer by 72 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 14944 function handler: replacing function pointer by 4 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 14956 function sigcall: replacing function pointer by 4 possible targets
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 4 possible targets
Generic Property Instrumentation
Running with 8 object bits, 24 offset bits (default)
Starting Bounded Model Checking
argc''s upper bound is 1073741824
str_le::1::cmp's upper bound is 0
getc::1::return_value's upper bound is 255
str_lt::1::cmp's upper bound is -1
set limit type 2
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
Unwinding loop main.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 13498 function main thread 0
Not unwinding loop main.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 13498 function main thread 0
Unwinding loop main.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 13489 function main thread 0
Not unwinding loop main.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 13489 function main thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop yy_scan_bytes.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20605 function yy_scan_bytes thread 0
Not unwinding loop yy_scan_bytes.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20605 function yy_scan_bytes thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function __builtin_memcpy
**** WARNING: no body for function isatty
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
**** WARNING: no body for function time
**** WARNING: no body for function mktime
**** WARNING: no body for function difftime
**** WARNING: no body for function strptime
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
**** WARNING: no body for function log10
**** WARNING: no body for function pow
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
**** WARNING: no body for function __ctype_b_loc
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Unwinding loop yylex.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Not unwinding loop yylex.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop yy_get_next_buffer.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
Unwinding loop yy_get_next_buffer.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop fread.0 iteration 1 file <builtin-library-fread> line 31 function fread thread 0
Not unwinding loop fread.0 iteration 2 file <builtin-library-fread> line 31 function fread thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yylex.6 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20010 function yylex thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yylex.7 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20017 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Unwinding loop yylex.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Not unwinding loop yylex.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop yy_get_next_buffer.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
Unwinding loop yy_get_next_buffer.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop fread.0 iteration 1 file <builtin-library-fread> line 31 function fread thread 0
Not unwinding loop fread.0 iteration 2 file <builtin-library-fread> line 31 function fread thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yylex.6 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20010 function yylex thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Not unwinding loop yylex.7 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20017 function yylex thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yylex.8 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20023 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 4 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 5 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Not unwinding loop yylex.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop yy_get_next_buffer.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
Unwinding loop yy_get_next_buffer.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop fread.0 iteration 1 file <builtin-library-fread> line 31 function fread thread 0
Not unwinding loop fread.0 iteration 2 file <builtin-library-fread> line 31 function fread thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yylex.6 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20010 function yylex thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Not unwinding loop yylex.7 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20017 function yylex thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Not unwinding loop yylex.8 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20023 function yylex thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yylex.9 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19665 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Unwinding loop yylex.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Not unwinding loop yylex.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop yy_get_next_buffer.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
Unwinding loop yy_get_next_buffer.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop fread.0 iteration 1 file <builtin-library-fread> line 31 function fread thread 0
Not unwinding loop fread.0 iteration 2 file <builtin-library-fread> line 31 function fread thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yylex.6 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20010 function yylex thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yylex.7 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20017 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Unwinding loop yylex.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Unwinding loop yylex.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19677 function yylex thread 0
Not unwinding loop yylex.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19671 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Unwinding loop yylex.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Unwinding loop yylex.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop yylex.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19704 function yylex thread 0
Not unwinding loop yylex.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19718 function yylex thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strm_time_parse_time.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Not unwinding loop strm_time_parse_time.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5873 function strm_time_parse_time thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop scan_num.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Not unwinding loop scan_num.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 5688 function scan_num thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Unwinding loop string_escape.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
Unwinding loop string_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10517 function string_escape thread 0
Not unwinding loop string_escape.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 10480 function string_escape thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_get_previous_state.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20218 function yy_get_previous_state thread 0
Not unwinding loop yy_get_previous_state.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20207 function yy_get_previous_state thread 0
Unwinding loop yy_try_NUL_trans.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yy_try_NUL_trans.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20244 function yy_try_NUL_trans thread 0
Not unwinding loop yylex.4 iteration 3 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 19998 function yylex thread 0
Not unwinding loop yylex.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20001 function yylex thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20074 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop yy_get_next_buffer.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop yy_get_next_buffer.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20087 function yy_get_next_buffer thread 0
Unwinding loop yy_get_next_buffer.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c line 20114 function yy_get_next_buffer thread 0
Not unwinding loop yy_get_next_buffer.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench