./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/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/ProcDump-for-Linux/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-sem_post> line 4: warning: pointer parameter types differ between declaration and definition "sem_post"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 3444
signed int (sem_t *)
new definition in module <built-in-library> file <builtin-library-sem_post> line 4
signed int (sem_t *sem)
file <builtin-library-sem_destroy> line 4: warning: pointer parameter types differ between declaration and definition "sem_destroy"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 785
signed int (sem_t *)
new definition in module <built-in-library> file <builtin-library-sem_destroy> line 4
signed int (sem_t *sem)
file <builtin-library-pthread_cond_signal> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_920131302 __annonCompField1;
  union __anonunion____missing_field_name_1003085125 __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_signal"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 570
signed int (pthread_cond_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_signal> 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_920131302 __annonCompField1;
  union __anonunion____missing_field_name_1003085125 __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/ProcDump-for-Linux/main.c line 567
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_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/ProcDump-for-Linux/main.c line 460
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_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/ProcDump-for-Linux/main.c line 566
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)
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_920131302 __annonCompField1;
  union __anonunion____missing_field_name_1003085125 __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/ProcDump-for-Linux/main.c line 571
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-sem_timedwait> line 4: warning: pointer parameter types differ between declaration and definition "sem_timedwait"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2057
signed int (sem_t *, const struct timespec *)
new definition in module <built-in-library> file <builtin-library-sem_timedwait> line 4
signed int (sem_t *sem, const struct timespec *abstime)
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/ProcDump-for-Linux/main.c line 461
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-sem_wait> line 4: warning: pointer parameter types differ between declaration and definition "sem_wait"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2056
signed int (sem_t *)
new definition in module <built-in-library> file <builtin-library-sem_wait> line 4
signed int (sem_t *sem)
file <builtin-library-sem_init> line 4: warning: pointer parameter types differ between declaration and definition "sem_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 782
signed int (sem_t *, signed int, unsigned int)
new definition in module <built-in-library> file <builtin-library-sem_init> line 4
signed int (sem_t *sem, signed int pshared, unsigned int value)
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_920131302 __annonCompField1;
  union __anonunion____missing_field_name_1003085125 __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/ProcDump-for-Linux/main.c line 2051
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_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/ProcDump-for-Linux/main.c line 564
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)
Removal of function pointers and virtual functions
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 9 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 uname
**** WARNING: no body for function __isoc99_sscanf
**** WARNING: no body for function strftime
**** WARNING: no body for function snprintf
**** WARNING: no body for function vsnprintf
**** WARNING: no body for function sprintf
**** WARNING: no body for function vsprintf
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function clock_gettime
**** WARNING: no body for function pthread_cond_timedwait
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 0
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 0
**** WARNING: no body for function sysconf
**** WARNING: no body for function sysinfo
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 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 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 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 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 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 WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 0
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject 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 strlen.0 iteration 1 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
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 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 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 strrchr.0 iteration 1 file <builtin-library-strrchr> line 20 function strrchr thread 0
Not unwinding loop strrchr.0 iteration 2 file <builtin-library-strrchr> line 20 function strrchr 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 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 GetProcessName.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1614 function GetProcessName 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 strrchr.0 iteration 1 file <builtin-library-strrchr> line 20 function strrchr thread 0
Not unwinding loop strrchr.0 iteration 2 file <builtin-library-strrchr> line 20 function strrchr 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 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
Not unwinding loop GetProcessName.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1614 function GetProcessName thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 0
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 0
**** WARNING: no body for function geteuid
**** WARNING: no body for function sigemptyset
**** WARNING: no body for function sigaddset
**** WARNING: no body for function pthread_sigmask
pointer handling for concurrency is unsound
**** WARNING: no body for function pthread_cond_destroy
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
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 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
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 WaitForAllThreadsToTerminate.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1810 function WaitForAllThreadsToTerminate thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Not unwinding loop WaitForAllThreadsToTerminate.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1810 function WaitForAllThreadsToTerminate 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
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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit 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
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
Unwinding recursion pthread_create iteration 1
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
Unwinding recursion pthread_create iteration 1
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 1
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 2
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 2
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 2
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 2
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 2
Unwinding recursion pthread_create iteration 1
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 2
Unwinding recursion pthread_create iteration 1
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 2
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 3
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 3
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 3
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Unwinding recursion pthread_create iteration 1
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Unwinding recursion pthread_create iteration 1
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 4
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 4
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 4
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 4
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 4
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 4
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 4
Unwinding recursion pthread_create iteration 1
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 4
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 4
Unwinding recursion pthread_create iteration 1
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 4
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 4
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 5
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 5
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 5
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 5
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 5
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 5
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 5
Unwinding recursion pthread_create iteration 1
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 5
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 5
Unwinding recursion pthread_create iteration 1
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 5
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 5
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 6
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 6
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 6
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 6
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 6
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 6
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 6
Unwinding recursion pthread_create iteration 1
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 6
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 6
Unwinding recursion pthread_create iteration 1
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 6
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 6
**** WARNING: no body for function sigwait
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 7
**** WARNING: no body for function ptrace
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 7
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 7
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 8
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 8
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 8
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
**** WARNING: no body for function __ctype_b_loc
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 8
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 8
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 8
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 8
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 8
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 9
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 9
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 9
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 9
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 9
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 9
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 9
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 9
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 10
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 10
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 10
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 10
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
Unwinding recursion CommitMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 10
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 10
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 10
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 10
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 11
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 11
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 11
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 11
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
Unwinding recursion CommitMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 11
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 11
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 11
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 11
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 12
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 12
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 12
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 12
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
Unwinding recursion ThreadCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 12
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 12
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 12
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 12
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 13
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 13
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 13
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 13
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
Unwinding recursion ThreadCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 13
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 13
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 13
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 13
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 14
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 14
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 14
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 14
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
Unwinding recursion FileDescriptorCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 14
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 14
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 14
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 14
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 15
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 15
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 15
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 15
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
Unwinding recursion FileDescriptorCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 15
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 15
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 15
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 15
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 16
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 16
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 16
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 16
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
Unwinding recursion SignalMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 16
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 16
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 16
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 16
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 17
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 17
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 17
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 17
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
Unwinding recursion SignalMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 17
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 17
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 17
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 17
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 18
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 18
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 18
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 18
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 18
Unwinding recursion TimerThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 18
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 18
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 18
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 18
Unwinding recursion __spawned_thread iteration 1
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 19
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 19
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 19
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 19
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 19
Unwinding recursion TimerThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion WaitForQuitOrEvent iteration 1
Unwinding recursion WaitForMultipleObjects iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 19
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Unwinding loop WaitForMultipleObjects.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 19
Unwinding recursion pthread_create iteration 2
Not unwinding loop WaitForMultipleObjects.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2224 function WaitForMultipleObjects thread 19
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 19
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 20
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 20
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 20
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 20
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 20
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 20
Unwinding recursion TimerThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 20
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 20
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 20
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 20
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 21
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 21
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 21
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 21
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 21
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 21
Unwinding recursion TimerThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 21
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 21
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 21
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 21
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 22
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 22
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 22
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 22
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 22
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
Unwinding recursion SignalMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 22
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 22
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 22
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 22
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 23
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 23
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 23
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 23
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 23
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
Unwinding recursion SignalMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 23
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 23
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 23
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 23
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 24
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 24
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 24
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 24
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 24
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
Unwinding recursion FileDescriptorCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 24
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 24
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 24
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 24
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 25
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 25
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 25
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 25
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 25
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
Unwinding recursion FileDescriptorCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 25
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 25
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 25
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 25
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 26
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 26
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 26
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 26
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 26
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
Unwinding recursion ThreadCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 26
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 26
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 26
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 26
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 27
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 27
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 27
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 27
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 27
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
Unwinding recursion ThreadCountMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 27
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 27
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 27
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 27
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 28
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 28
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 28
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 28
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 28
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
Unwinding recursion CpuMonitoringThread iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 28
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 28
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 28
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 28
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 29
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 29
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 29
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 29
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 29
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
Unwinding recursion CpuMonitoringThread iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 29
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 29
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 29
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 29
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 30
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 30
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 30
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 30
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop IsValidNumberArg.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 30
Not unwinding loop IsValidNumberArg.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 1952 function IsValidNumberArg thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
Unwinding recursion CpuMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
Unwinding recursion CommitMonitoringThread iteration 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding recursion WaitForQuitOrEvent iteration 2
Unwinding recursion WaitForMultipleObjects iteration 2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 30
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 30
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 30
Not unwinding recursion pthread_create iteration 3
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 30
Unwinding recursion __spawned_thread iteration 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 31
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Unwinding loop WaiterThread.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 31
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Not unwinding loop WaiterThread.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2136 function WaiterThread thread 31
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Unwinding loop WaitForSingleObject.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
Not unwinding loop WaitForSingleObject.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c line 2080 function WaitForSingleObject thread 31
aborting path on assume(false) at file <builtin-library-pthread_exit> line 30 function pthread_exit thread 31
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 31
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 31
