./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c


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


Deagle version 2.1 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (SVCOMP2023_221122-2-g2121ef1a2) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
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-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-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 10 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;
  unsigned int $pad9;
  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;
  unsigned int $pad9;
  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-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 10 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;
  unsigned int $pad9;
  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;
  unsigned int $pad9;
  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: 
reason for conflict at #this: names of member 10 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;
  unsigned int $pad9;
  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;
  unsigned int $pad9;
  signed long int tm_gmtoff;
  const char * tm_zone;
}
warning: pointer parameter types differ between declaration and definition "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-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)
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
**** WARNING: `__CPROVER_allocated_memory' in file <builtin-library-mmap> line 46 function mmap
**** WARNING: `__CPROVER_allocated_memory' is deprecated and scheduled for deletion in version 6 and upwards.
Please avoid using this intrinsic. For more information, please check issue cbmc#6872 in Github
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
getc::1::return_value's upper bound is 255
str_lt::1::cmp's upper bound is -1
str_le::1::cmp's upper bound is 0
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 __isoc99_sscanf
**** 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/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
