./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/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/minimap2/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-pthread_cond_broadcast> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_465919411 __annonCompField1;
  union __anonunion____missing_field_name_717608300 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_broadcast"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9797
signed int (pthread_cond_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_broadcast> line 7
signed int (pthread_cond_t *cond)
file <builtin-library-pthread_cond_init> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_465919411 __annonCompField1;
  union __anonunion____missing_field_name_717608300 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9794
signed int (pthread_cond_t *, const pthread_condattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_init> line 7
signed int (pthread_cond_t *cond, const pthread_condattr_t *attr)
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/minimap2/main.c line 9793
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/minimap2/main.c line 9792
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-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/minimap2/main.c line 9789
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-pthread_cond_wait> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_465919411 __annonCompField1;
  union __anonunion____missing_field_name_717608300 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_wait"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9798
signed int (pthread_cond_t *, pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_wait> line 7
signed int (pthread_cond_t *cond, pthread_mutex_t *mutex)
file <builtin-library-pthread_mutex_destroy> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_destroy"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9791
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_destroy> line 17
signed int (pthread_mutex_t *mutex)
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9904 function kt_for: replacing function pointer by 4 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9851 function ktf_worker: replacing function pointer by 4 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9858 function ktf_worker: replacing function pointer by 4 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9949 function ktp_worker: replacing function pointer by 2 possible targets
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 2 possible targets
Generic Property Instrumentation
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
set limit type 2
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
**** WARNING: no body for function getrlimit
**** WARNING: no body for function setrlimit
**** WARNING: no body for function gettimeofday
Unwinding loop ketopt.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Not unwinding loop ketopt.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Not unwinding loop ketopt.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop ketopt.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop ketopt.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strchr.0 iteration 1 file <builtin-library-strchr> line 19 function strchr thread 0
Not unwinding loop strchr.0 iteration 2 file <builtin-library-strchr> line 19 function strchr thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop main.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12287 function main thread 0
Unwinding loop ketopt.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Not unwinding loop ketopt.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Not unwinding loop ketopt.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop ketopt.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop ketopt.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strchr.0 iteration 1 file <builtin-library-strchr> line 19 function strchr thread 0
Not unwinding loop strchr.0 iteration 2 file <builtin-library-strchr> line 19 function strchr thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop main.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12287 function main thread 0
Unwinding loop ketopt.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Not unwinding loop ketopt.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Not unwinding loop ketopt.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop ketopt.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop ketopt.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strchr.0 iteration 1 file <builtin-library-strchr> line 19 function strchr thread 0
Not unwinding loop strchr.0 iteration 2 file <builtin-library-strchr> line 19 function strchr thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt 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 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 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 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 strtod
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 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 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 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 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 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 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 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 strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit 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 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 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 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 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 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 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 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 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 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 strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp 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 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 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 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 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 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 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 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 main.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12311 function main thread 0
Unwinding loop ketopt.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Not unwinding loop ketopt.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11855 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Not unwinding loop ketopt.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11902 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop ketopt.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop ketopt.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11913 function ketopt thread 0
Unwinding loop strchr.0 iteration 1 file <builtin-library-strchr> line 19 function strchr thread 0
Not unwinding loop strchr.0 iteration 2 file <builtin-library-strchr> line 19 function strchr thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Unwinding loop ketopt.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt thread 0
Unwinding loop ketopt_permute.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt_permute.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 11826 function ketopt_permute thread 0
Not unwinding loop ketopt.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12004 function ketopt 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 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 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 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 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 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 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 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 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 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 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 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 strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit 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 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 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 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 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 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 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 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 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 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 strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp 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 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 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 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 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 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 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 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
Not unwinding loop main.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12311 function main thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
**** WARNING: no body for function open
**** WARNING: no body for function lseek
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Not unwinding loop read.0 iteration 2 file <builtin-library-read> line 64 function read thread 0
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
**** WARNING: no body for function gzopen
**** WARNING: no body for function gzdopen
**** WARNING: no body for function gzclose
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
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp 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
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc 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
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc 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
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
Unwinding loop mm_idx_load.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8760 function mm_idx_load 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
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc 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
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
Not unwinding loop mm_idx_load.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8760 function mm_idx_load 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
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
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
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
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Unwinding loop mm_idx_load.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8790 function mm_idx_load 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
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop mm_idx_load.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8790 function mm_idx_load thread 0
Unwinding loop mm_idx_load.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8776 function mm_idx_load 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
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
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
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
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Unwinding loop mm_idx_load.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8790 function mm_idx_load 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
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop mm_idx_load.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8790 function mm_idx_load thread 0
Not unwinding loop mm_idx_load.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8776 function mm_idx_load 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
Unwinding loop kt_pipeline.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Unwinding loop kt_pipeline.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Unwinding loop kt_pipeline.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
pointer handling for concurrency is unsound
**** WARNING: no body for function pthread_cond_destroy
**** WARNING: no body for function getrusage
Unwinding loop kt_for.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9883 function kt_for thread 0
Not unwinding loop kt_for.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9883 function kt_for thread 0
Unwinding loop kt_for.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9889 function kt_for thread 0
Not unwinding loop kt_for.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9889 function kt_for thread 0
Unwinding loop kt_for.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9895 function kt_for thread 0
Not unwinding loop kt_for.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9895 function kt_for thread 0
Unwinding loop rs_insertsort_128x.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Not unwinding loop rs_insertsort_128x.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Unwinding loop rs_insertsort_128x.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14676 function rs_insertsort_128x thread 0
Unwinding loop rs_insertsort_128x.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Not unwinding loop rs_insertsort_128x.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Not unwinding loop rs_insertsort_128x.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14676 function rs_insertsort_128x thread 0
Unwinding loop rs_sort_128x.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14721 function rs_sort_128x thread 0
Not unwinding loop rs_sort_128x.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14721 function rs_sort_128x thread 0
Unwinding loop worker_post.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8207 function worker_post thread 0
Not unwinding loop worker_post.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8207 function worker_post thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Unwinding loop worker_post.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8231 function worker_post thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Unwinding loop worker_post.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8251 function worker_post thread 0
Not unwinding loop worker_post.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8251 function worker_post thread 0
Unwinding loop rs_insertsort_64.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Not unwinding loop rs_insertsort_64.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Unwinding loop rs_insertsort_64.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14812 function rs_insertsort_64 thread 0
Unwinding loop rs_insertsort_64.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Not unwinding loop rs_insertsort_64.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Not unwinding loop rs_insertsort_64.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14812 function rs_insertsort_64 thread 0
Unwinding loop rs_sort_64.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14857 function rs_sort_64 thread 0
Not unwinding loop rs_sort_64.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14857 function rs_sort_64 thread 0
Not unwinding loop worker_post.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8231 function worker_post thread 0
Unwinding loop kt_for.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9903 function kt_for thread 0
Unwinding loop rs_insertsort_128x.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Not unwinding loop rs_insertsort_128x.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Unwinding loop rs_insertsort_128x.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14676 function rs_insertsort_128x thread 0
Unwinding loop rs_insertsort_128x.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Not unwinding loop rs_insertsort_128x.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14680 function rs_insertsort_128x thread 0
Not unwinding loop rs_insertsort_128x.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14676 function rs_insertsort_128x thread 0
Unwinding loop rs_sort_128x.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14721 function rs_sort_128x thread 0
Not unwinding loop rs_sort_128x.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14721 function rs_sort_128x thread 0
Unwinding loop worker_post.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8207 function worker_post thread 0
Not unwinding loop worker_post.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8207 function worker_post thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Unwinding loop worker_post.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8231 function worker_post thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Unwinding loop kh_resize_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7404 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7400 function kh_resize_idx thread 0
Not unwinding loop kh_resize_idx.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7394 function kh_resize_idx thread 0
Unwinding loop kh_put_idx.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Not unwinding loop kh_put_idx.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7486 function kh_put_idx thread 0
Unwinding loop worker_post.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8251 function worker_post thread 0
Not unwinding loop worker_post.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8251 function worker_post thread 0
Unwinding loop rs_insertsort_64.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Not unwinding loop rs_insertsort_64.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Unwinding loop rs_insertsort_64.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14812 function rs_insertsort_64 thread 0
Unwinding loop rs_insertsort_64.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Not unwinding loop rs_insertsort_64.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14816 function rs_insertsort_64 thread 0
Not unwinding loop rs_insertsort_64.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14812 function rs_insertsort_64 thread 0
Unwinding loop rs_sort_64.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14857 function rs_sort_64 thread 0
Not unwinding loop rs_sort_64.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14857 function rs_sort_64 thread 0
Not unwinding loop worker_post.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8231 function worker_post thread 0
Not unwinding loop kt_for.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9903 function kt_for 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 mm_idx_dump.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8663 function mm_idx_dump 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
Not unwinding loop mm_idx_dump.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8663 function mm_idx_dump thread 0
Unwinding loop mm_idx_dump.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8696 function mm_idx_dump thread 0
Not unwinding loop mm_idx_dump.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8696 function mm_idx_dump thread 0
Unwinding loop mm_idx_dump.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8680 function mm_idx_dump thread 0
Unwinding loop mm_idx_dump.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8696 function mm_idx_dump thread 0
Not unwinding loop mm_idx_dump.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8696 function mm_idx_dump thread 0
Not unwinding loop mm_idx_dump.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8680 function mm_idx_dump thread 0
Unwinding loop mm_idx_destroy.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7865 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7865 function mm_idx_destroy thread 0
Unwinding loop mm_idx_destroy.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7874 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7874 function mm_idx_destroy thread 0
Unwinding loop mm_idx_destroy.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7882 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7882 function mm_idx_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop km_destroy.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9522 function km_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop km_destroy.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9522 function km_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
**** WARNING: no body for function strstr
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 strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 0
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 0
Unwinding loop mm_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4876 function mm_escape thread 0
Not unwinding loop mm_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4876 function mm_escape thread 0
Unwinding loop sam_write_rg_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4946 function sam_write_rg_line thread 0
Not unwinding loop sam_write_rg_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4946 function sam_write_rg_line thread 0
Unwinding loop sam_write_rg_line.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4968 function sam_write_rg_line thread 0
Not unwinding loop sam_write_rg_line.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4968 function sam_write_rg_line 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 mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Unwinding loop mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite 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 strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 0
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 0
Unwinding loop mm_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4876 function mm_escape thread 0
Not unwinding loop mm_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4876 function mm_escape thread 0
Unwinding loop sam_write_rg_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4946 function sam_write_rg_line thread 0
Not unwinding loop sam_write_rg_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4946 function sam_write_rg_line thread 0
Unwinding loop sam_write_rg_line.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4968 function sam_write_rg_line thread 0
Not unwinding loop sam_write_rg_line.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4968 function sam_write_rg_line 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 mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Unwinding loop mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite 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 strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 0
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 0
Unwinding loop mm_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4876 function mm_escape thread 0
Not unwinding loop mm_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4876 function mm_escape thread 0
Unwinding loop sam_write_rg_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4946 function sam_write_rg_line thread 0
Not unwinding loop sam_write_rg_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4946 function sam_write_rg_line thread 0
Unwinding loop sam_write_rg_line.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4968 function sam_write_rg_line thread 0
Not unwinding loop sam_write_rg_line.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4968 function sam_write_rg_line 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 mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Unwinding loop mm_sprintf_lite.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Not unwinding loop mm_sprintf_lite.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 4778 function mm_sprintf_lite thread 0
Unwinding loop mm_idx_cal_max_occ.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8140 function mm_idx_cal_max_occ thread 0
Not unwinding loop mm_idx_cal_max_occ.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8140 function mm_idx_cal_max_occ thread 0
Unwinding loop mm_idx_cal_max_occ.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8156 function mm_idx_cal_max_occ thread 0
Not unwinding loop mm_idx_cal_max_occ.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8156 function mm_idx_cal_max_occ thread 0
Unwinding loop mm_idx_cal_max_occ.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8150 function mm_idx_cal_max_occ thread 0
Unwinding loop mm_idx_cal_max_occ.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8156 function mm_idx_cal_max_occ thread 0
Not unwinding loop mm_idx_cal_max_occ.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8156 function mm_idx_cal_max_occ thread 0
Not unwinding loop mm_idx_cal_max_occ.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8150 function mm_idx_cal_max_occ thread 0
Unwinding loop ks_ksmall_uint32_t.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15034 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15034 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15001 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15034 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15035 function ks_ksmall_uint32_t thread 0
Unwinding loop ks_ksmall_uint32_t.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15041 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15034 function ks_ksmall_uint32_t thread 0
Not unwinding loop ks_ksmall_uint32_t.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 15001 function ks_ksmall_uint32_t thread 0
Unwinding loop mm_idx_stat.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7946 function mm_idx_stat thread 0
Not unwinding loop mm_idx_stat.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7946 function mm_idx_stat thread 0
Unwinding loop mm_idx_stat.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7951 function mm_idx_stat thread 0
Not unwinding loop mm_idx_stat.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7951 function mm_idx_stat thread 0
Unwinding loop mm_idx_stat.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7964 function mm_idx_stat thread 0
Not unwinding loop mm_idx_stat.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7964 function mm_idx_stat thread 0
Unwinding loop mm_idx_stat.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7958 function mm_idx_stat thread 0
Unwinding loop mm_idx_stat.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7964 function mm_idx_stat thread 0
Not unwinding loop mm_idx_stat.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7964 function mm_idx_stat thread 0
Not unwinding loop mm_idx_stat.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7958 function mm_idx_stat thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_put_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_put_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Unwinding loop mm_idx_index_name.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8006 function mm_idx_index_name thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_put_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_put_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Not unwinding loop mm_idx_index_name.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8006 function mm_idx_index_name thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
**** WARNING: no body for function gzread
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_get_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_get_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop mm_idx_read_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9256 function mm_idx_read_bed thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_get_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_get_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str 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 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 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 __ctype_b_loc
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
Not unwinding loop mm_idx_read_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9256 function mm_idx_read_bed 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 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 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 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 mm_idx_read_bed.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9345 function mm_idx_read_bed 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 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
Not unwinding loop mm_idx_read_bed.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9345 function mm_idx_read_bed thread 0
Unwinding loop mm_idx_read_bed.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9241 function mm_idx_read_bed thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_get_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_get_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop mm_idx_read_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9256 function mm_idx_read_bed thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_get_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_get_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str 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 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 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 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
Not unwinding loop mm_idx_read_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9256 function mm_idx_read_bed 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 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 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 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 mm_idx_read_bed.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9345 function mm_idx_read_bed 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 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
Not unwinding loop mm_idx_read_bed.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9345 function mm_idx_read_bed thread 0
Not unwinding loop mm_idx_read_bed.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9241 function mm_idx_read_bed thread 0
Unwinding loop rs_insertsort_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Not unwinding loop rs_insertsort_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Unwinding loop rs_insertsort_bed.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9047 function rs_insertsort_bed thread 0
Unwinding loop rs_insertsort_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Not unwinding loop rs_insertsort_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Not unwinding loop rs_insertsort_bed.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9047 function rs_insertsort_bed thread 0
Unwinding loop rs_sort_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9092 function rs_sort_bed thread 0
Not unwinding loop rs_sort_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9092 function rs_sort_bed thread 0
Unwinding loop mm_idx_bed_read.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9412 function mm_idx_bed_read thread 0
Unwinding loop rs_insertsort_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Not unwinding loop rs_insertsort_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Unwinding loop rs_insertsort_bed.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9047 function rs_insertsort_bed thread 0
Unwinding loop rs_insertsort_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Not unwinding loop rs_insertsort_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9051 function rs_insertsort_bed thread 0
Not unwinding loop rs_insertsort_bed.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9047 function rs_insertsort_bed thread 0
Unwinding loop rs_sort_bed.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9092 function rs_sort_bed thread 0
Not unwinding loop rs_sort_bed.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9092 function rs_sort_bed thread 0
Not unwinding loop mm_idx_bed_read.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9412 function mm_idx_bed_read thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_put_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_put_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Unwinding loop mm_idx_index_name.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8006 function mm_idx_index_name thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop kh_resize_str.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Unwinding loop kh_resize_str.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop kh_resize_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7691 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7687 function kh_resize_str thread 0
Not unwinding loop kh_resize_str.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7681 function kh_resize_str thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_put_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_put_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7774 function kh_put_str thread 0
Not unwinding loop mm_idx_index_name.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8006 function mm_idx_index_name thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop mm_idx_alt_read.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9013 function mm_idx_alt_read thread 0
Not unwinding loop mm_idx_alt_read.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9013 function mm_idx_alt_read thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_get_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_get_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop mm_idx_alt_read.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9007 function mm_idx_alt_read thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop ks_getuntil2.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3808 function ks_getuntil2 thread 0
Not unwinding loop ks_getuntil2.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 3791 function ks_getuntil2 thread 0
Unwinding loop mm_idx_alt_read.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9013 function mm_idx_alt_read thread 0
Not unwinding loop mm_idx_alt_read.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9013 function mm_idx_alt_read thread 0
Unwinding loop __ac_X31_hash_string.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Not unwinding loop __ac_X31_hash_string.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7243 function __ac_X31_hash_string thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop kh_get_str.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop kh_get_str.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7579 function kh_get_str thread 0
Not unwinding loop mm_idx_alt_read.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9007 function mm_idx_alt_read thread 0
Unwinding loop mm_idx_destroy.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7865 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7865 function mm_idx_destroy thread 0
Unwinding loop mm_idx_destroy.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7874 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7874 function mm_idx_destroy thread 0
Unwinding loop mm_idx_destroy.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7882 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7882 function mm_idx_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop km_destroy.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9522 function km_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop km_destroy.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9522 function km_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop open_bseqs.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14430 function open_bseqs thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop open_bseqs.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14441 function open_bseqs thread 0
Not unwinding loop open_bseqs.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14430 function open_bseqs 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
**** WARNING: no body for function sprintf
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop mm_split_init.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 17484 function mm_split_init 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop mm_split_init.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 17484 function mm_split_init thread 0
Unwinding loop kt_pipeline.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Unwinding loop kt_pipeline.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Unwinding loop kt_pipeline.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Unwinding loop mm_map_file_frag.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14498 function mm_map_file_frag thread 0
Not unwinding loop mm_map_file_frag.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14498 function mm_map_file_frag thread 0
Unwinding loop main.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12913 function main thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop open_bseqs.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14430 function open_bseqs thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop open_bseqs.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14441 function open_bseqs thread 0
Not unwinding loop open_bseqs.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14430 function open_bseqs 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop mm_split_init.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 17484 function mm_split_init 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop mm_split_init.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 17484 function mm_split_init thread 0
Unwinding loop kt_pipeline.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Unwinding loop kt_pipeline.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Unwinding loop kt_pipeline.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Unwinding loop mm_map_file_frag.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14498 function mm_map_file_frag thread 0
Not unwinding loop mm_map_file_frag.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14498 function mm_map_file_frag thread 0
Not unwinding loop main.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12913 function main thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop open_bseqs.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14430 function open_bseqs thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Unwinding loop open_bseqs.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14441 function open_bseqs thread 0
Not unwinding loop open_bseqs.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14430 function open_bseqs 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop mm_split_init.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 17484 function mm_split_init 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop mm_split_init.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 17484 function mm_split_init thread 0
Unwinding loop kt_pipeline.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9995 function kt_pipeline thread 0
Unwinding loop kt_pipeline.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10008 function kt_pipeline thread 0
Unwinding loop kt_pipeline.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Not unwinding loop kt_pipeline.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 10014 function kt_pipeline thread 0
Unwinding loop mm_map_file_frag.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14498 function mm_map_file_frag thread 0
Not unwinding loop mm_map_file_frag.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 14498 function mm_map_file_frag thread 0
Unwinding loop mm_idx_destroy.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7865 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7865 function mm_idx_destroy thread 0
Unwinding loop mm_idx_destroy.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7874 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7874 function mm_idx_destroy thread 0
Unwinding loop mm_idx_destroy.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7882 function mm_idx_destroy thread 0
Not unwinding loop mm_idx_destroy.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 7882 function mm_idx_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop km_destroy.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9522 function km_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop km_destroy.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9522 function km_destroy thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop main.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 12846 function main 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
Unwinding loop strncmp.0 iteration 1 file <builtin-library-strncmp> line 42 function strncmp thread 0
Not unwinding loop strncmp.0 iteration 2 file <builtin-library-strncmp> line 42 function strncmp 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
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc 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
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
Not unwinding loop kfree.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc 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
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
Unwinding loop mm_idx_load.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 8760 function mm_idx_load 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
Unwinding recursion kmalloc iteration 1
Unwinding recursion morecore iteration 1
Unwinding recursion kmalloc iteration 2
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Unwinding loop kmalloc.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
Unwinding recursion morecore iteration 2
Not unwinding recursion kmalloc iteration 3
Not unwinding loop kmalloc.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9650 function kmalloc thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
Unwinding loop kfree.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c line 9573 function kfree thread 0
