./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/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/Remotery/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
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/Remotery/main.c line 722
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-pthread_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/Remotery/main.c line 726
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_unlock> line 17
signed int (pthread_mutex_t *mutex)
file <builtin-library-pthread_mutex_lock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_lock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 725
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/Remotery/main.c line 724
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_destroy> line 17
signed int (pthread_mutex_t *mutex)
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7487 function _rmt_PropertySnapshotAll: replacing function pointer by 1 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 834 function rmtMalloc: replacing function pointer by 1 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 843 function rmtRealloc: replacing function pointer by 2 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 852 function rmtFree: replacing function pointer by 1 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc: replacing function pointer by 6 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor: replacing function pointer by 9 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2046 function ObjectAllocator_Alloc: replacing function pointer by 6 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2051 function ObjectAllocator_Alloc: replacing function pointer by 9 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4268 function Server_ReceiveMessage: replacing function pointer by 2 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5986 function Remotery_SendSampleTreeMessage: replacing function pointer by 1 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6472 function Remotery_MapMessageQueue: replacing function pointer by 1 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6536 function Remotery_ReceiveMessage: replacing function pointer by 1 possible targets
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 9 possible targets
Generic Property Instrumentation
**** WARNING: `__CPROVER_allocated_memory' in file <builtin-library-mmap> line 46 function mmap
**** WARNING: `__CPROVER_allocated_memory' is deprecated and scheduled for deletion in version 6 and upwards.
Please avoid using this intrinsic. For more information, please check issue cbmc#6872 in Github
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
set limit type 2
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
**** WARNING: no body for function signal
**** WARNING: no body for function clock_gettime
**** WARNING: no body for function shutdown
**** WARNING: no body for function recv
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
**** WARNING: no body for function socket
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function bind
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function listen
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 TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
**** WARNING: no body for function mkstemp
**** WARNING: no body for function ftruncate
**** WARNING: no body for function __CPROVER_allocated_memory
**** WARNING: no body for function pthread_self
**** WARNING: no body for function pthread_equal
pointer handling for concurrency is unsound
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Not unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop itoahex_s.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Not unwinding loop itoahex_s.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Unwinding loop itoahex_s.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Not unwinding loop itoahex_s.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop MurmurHash3_x86_32.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Not unwinding loop MurmurHash3_x86_32.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Unwinding loop rmtMessageQueue_AllocMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Not unwinding loop rmtMessageQueue_AllocMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Unwinding loop ObjectAllocator_Pop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
Not unwinding loop ObjectAllocator_Pop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2046 function ObjectAllocator_Alloc thread 0
Unwinding recursion GatherThreadsLoop iteration 1
Unwinding recursion _rmt_SetCurrentThreadName iteration 1
Unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 1
Unwinding recursion ThreadProfilers_GetThreadProfiler iteration 1
Unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Not unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Unwinding recursion ThreadProfiler_Constructor iteration 1
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop itoahex_s.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Not unwinding loop itoahex_s.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Unwinding loop itoahex_s.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Not unwinding loop itoahex_s.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop MurmurHash3_x86_32.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Not unwinding loop MurmurHash3_x86_32.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Unwinding loop rmtMessageQueue_AllocMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Not unwinding loop rmtMessageQueue_AllocMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Unwinding recursion SampleTree_Constructor iteration 1
Unwinding recursion ObjectAllocator_Alloc iteration 1
Unwinding loop ObjectAllocator_Pop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
Not unwinding loop ObjectAllocator_Pop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2046 function ObjectAllocator_Alloc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Unwinding recursion _rmt_SetCurrentThreadName iteration 2
Unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 2
Unwinding recursion ThreadProfilers_GetThreadProfiler iteration 2
Unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Not unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Unwinding recursion ThreadProfiler_Constructor iteration 2
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop itoahex_s.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Not unwinding loop itoahex_s.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Unwinding loop itoahex_s.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Not unwinding loop itoahex_s.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop MurmurHash3_x86_32.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Not unwinding loop MurmurHash3_x86_32.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Unwinding loop rmtMessageQueue_AllocMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Not unwinding loop rmtMessageQueue_AllocMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Unwinding recursion SampleTree_Constructor iteration 2
Unwinding recursion ObjectAllocator_Alloc iteration 2
Unwinding loop ObjectAllocator_Pop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
Not unwinding loop ObjectAllocator_Pop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2046 function ObjectAllocator_Alloc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2051 function ObjectAllocator_Alloc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding recursion SampleTree_Destructor iteration 1
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion ObjectAllocator_Destructor iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding loop ObjectAllocator_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Not unwinding loop ObjectAllocator_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
Unwinding recursion ThreadProfiler_Destructor iteration 1
Unwinding recursion SampleTree_Destructor iteration 1
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion ObjectAllocator_Destructor iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding loop ObjectAllocator_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Not unwinding loop ObjectAllocator_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
Unwinding loop ThreadProfiler_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5011 function ThreadProfiler_Destructor thread 0
Unwinding recursion SampleTree_Destructor iteration 1
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion ObjectAllocator_Destructor iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding loop ObjectAllocator_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Not unwinding recursion GatherThreadsLoop iteration 3
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Not unwinding loop ObjectAllocator_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
Not unwinding loop ThreadProfiler_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5011 function ThreadProfiler_Destructor thread 0
Unwinding loop strcpy_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1635 function strcpy_s_safe_c thread 0
Not unwinding loop strcpy_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1635 function strcpy_s_safe_c thread 0
Unwinding loop strcpy_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1649 function strcpy_s_safe_c thread 0
Not unwinding loop strcpy_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1649 function strcpy_s_safe_c thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
**** WARNING: no body for function prctl
**** WARNING: no body for function usleep
Unwinding loop GatherThreadsLoop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5312 function GatherThreadsLoop thread 0
Not unwinding loop GatherThreadsLoop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5312 function GatherThreadsLoop thread 0
Unwinding recursion _rmt_SetCurrentThreadName iteration 2
Unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 2
Unwinding recursion ThreadProfilers_GetThreadProfiler iteration 2
Unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Not unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Unwinding recursion ThreadProfiler_Constructor iteration 2
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop itoahex_s.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Not unwinding loop itoahex_s.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Unwinding loop itoahex_s.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Not unwinding loop itoahex_s.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop MurmurHash3_x86_32.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Not unwinding loop MurmurHash3_x86_32.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Unwinding loop rmtMessageQueue_AllocMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Not unwinding loop rmtMessageQueue_AllocMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Unwinding recursion SampleTree_Constructor iteration 2
Unwinding recursion ObjectAllocator_Alloc iteration 2
Unwinding loop ObjectAllocator_Pop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
Not unwinding loop ObjectAllocator_Pop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2046 function ObjectAllocator_Alloc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2051 function ObjectAllocator_Alloc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding recursion SampleTree_Destructor iteration 1
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion ObjectAllocator_Destructor iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding loop ObjectAllocator_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Not unwinding loop ObjectAllocator_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
Unwinding recursion ThreadProfiler_Destructor iteration 1
Unwinding recursion SampleTree_Destructor iteration 1
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion ObjectAllocator_Destructor iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding loop ObjectAllocator_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Not unwinding loop ObjectAllocator_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
Unwinding loop ThreadProfiler_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5011 function ThreadProfiler_Destructor thread 0
Unwinding recursion SampleTree_Destructor iteration 1
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion ObjectAllocator_Destructor iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Unwinding loop ObjectAllocator_Destructor.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1961 function ObjectAllocator_Destructor thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 1
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion StartFunc iteration 2
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1828 function StartFunc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Unwinding recursion Remotery_ThreadMain iteration 1
Not unwinding recursion _rmt_SetCurrentThreadName iteration 3
Not unwinding recursion StartFunc iteration 3
Not unwinding loop ObjectAllocator_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1956 function ObjectAllocator_Destructor thread 0
Not unwinding loop ThreadProfiler_Destructor.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5011 function ThreadProfiler_Destructor thread 0
Unwinding loop strcpy_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1635 function strcpy_s_safe_c thread 0
Not unwinding loop strcpy_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1635 function strcpy_s_safe_c thread 0
Unwinding loop strcpy_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1649 function strcpy_s_safe_c thread 0
Not unwinding loop strcpy_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1649 function strcpy_s_safe_c thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 2
Unwinding recursion ThreadProfilers_GetThreadProfiler iteration 2
Unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Not unwinding loop ThreadProfilers_GetThreadProfiler.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5234 function ThreadProfilers_GetThreadProfiler thread 0
Unwinding recursion ThreadProfiler_Constructor iteration 2
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop itoahex_s.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Not unwinding loop itoahex_s.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1673 function itoahex_s thread 0
Unwinding loop itoahex_s.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Not unwinding loop itoahex_s.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1681 function itoahex_s thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop MurmurHash3_x86_32.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Not unwinding loop MurmurHash3_x86_32.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3275 function MurmurHash3_x86_32 thread 0
Unwinding loop rmtMessageQueue_AllocMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Not unwinding loop rmtMessageQueue_AllocMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4002 function rmtMessageQueue_AllocMessage thread 0
Unwinding recursion SampleTree_Constructor iteration 2
Unwinding recursion ObjectAllocator_Alloc iteration 2
Unwinding loop ObjectAllocator_Pop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
Not unwinding loop ObjectAllocator_Pop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2007 function ObjectAllocator_Pop thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2046 function ObjectAllocator_Alloc thread 0
Unwinding recursion GatherThreadsLoop iteration 2
Unwinding recursion _rmt_SetCurrentThreadName iteration 2
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop GatherThreadsLoop.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5312 function GatherThreadsLoop thread 0
Not unwinding loop GatherThreadsLoop.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5312 function GatherThreadsLoop thread 0
Unwinding recursion Remotery_ThreadMain iteration 1
Unwinding recursion _rmt_SetCurrentThreadName iteration 2
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function setsockopt
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
**** WARNING: no body for function select
**** WARNING: no body for function accept
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function clock
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocketHandshake.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3423 function WebSocketHandshake thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop WebSocketHandshake.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3423 function WebSocketHandshake thread 0
Unwinding loop memcmp.0 iteration 1 file <builtin-library-memcmp> line 25 function memcmp thread 0
Not unwinding loop memcmp.0 iteration 2 file <builtin-library-memcmp> line 25 function memcmp thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4268 function Server_ReceiveMessage thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop Remotery_ReceiveMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Not unwinding loop Remotery_ReceiveMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
**** WARNING: no body for function send
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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop Server_Update.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4353 function Server_Update thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4268 function Server_ReceiveMessage thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop Remotery_ReceiveMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Not unwinding loop Remotery_ReceiveMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop Server_Update.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4353 function Server_Update thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Insert iteration 1
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 1
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 1
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 1
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding recursion PostProcessSamples iteration 1
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 1
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding recursion bin_Sample iteration 1
Unwinding recursion bin_SampleArray iteration 1
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 1
Unwinding recursion bin_SampleArray iteration 1
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5986 function Remotery_SendSampleTreeMessage thread 0
Unwinding recursion FlattenSamples iteration 1
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 1
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_SendProcessorThreads.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6047 function Remotery_SendProcessorThreads thread 0
Not unwinding loop Remotery_SendProcessorThreads.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6047 function Remotery_SendProcessorThreads thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_SerialisePropertySnapshots.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6200 function Remotery_SerialisePropertySnapshots thread 0
Unwinding loop Remotery_SerialisePropertySnapshots.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6195 function Remotery_SerialisePropertySnapshots thread 0
Unwinding loop Remotery_SerialisePropertySnapshots.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6200 function Remotery_SerialisePropertySnapshots thread 0
Not unwinding loop Remotery_SerialisePropertySnapshots.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6195 function Remotery_SerialisePropertySnapshots thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion FreePropertySnapshots iteration 1
Unwinding recursion FreePropertySnapshots iteration 2
Not unwinding recursion FreePropertySnapshots iteration 3
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop Remotery_ConsumeMessageQueue.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6362 function Remotery_ConsumeMessageQueue thread 0
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Insert iteration 1
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 1
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 1
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 1
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding recursion PostProcessSamples iteration 1
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 1
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding recursion bin_Sample iteration 1
Unwinding recursion bin_SampleArray iteration 1
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 1
Unwinding recursion bin_SampleArray iteration 1
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5986 function Remotery_SendSampleTreeMessage thread 0
Unwinding recursion FlattenSamples iteration 1
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 1
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_SendProcessorThreads.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6047 function Remotery_SendProcessorThreads thread 0
Not unwinding loop Remotery_SendProcessorThreads.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6047 function Remotery_SendProcessorThreads thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_SerialisePropertySnapshots.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6200 function Remotery_SerialisePropertySnapshots thread 0
Unwinding loop Remotery_SerialisePropertySnapshots.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6195 function Remotery_SerialisePropertySnapshots thread 0
Unwinding loop Remotery_SerialisePropertySnapshots.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6200 function Remotery_SerialisePropertySnapshots thread 0
Not unwinding loop Remotery_SerialisePropertySnapshots.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6195 function Remotery_SerialisePropertySnapshots thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion FreePropertySnapshots iteration 1
Unwinding recursion FreePropertySnapshots iteration 2
Not unwinding recursion FreePropertySnapshots iteration 3
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop Remotery_ConsumeMessageQueue.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6362 function Remotery_ConsumeMessageQueue thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_MapMessageQueue.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6457 function Remotery_MapMessageQueue thread 0
Not unwinding loop Remotery_MapMessageQueue.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6457 function Remotery_MapMessageQueue thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6472 function Remotery_MapMessageQueue thread 0
Unwinding loop Remotery_MapMessageQueue.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6467 function Remotery_MapMessageQueue thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6472 function Remotery_MapMessageQueue thread 0
Not unwinding loop Remotery_MapMessageQueue.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6467 function Remotery_MapMessageQueue thread 0
Unwinding loop Remotery_ThreadMain.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6494 function Remotery_ThreadMain thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close 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 TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocketHandshake.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3423 function WebSocketHandshake thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop WebSocketHandshake.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3423 function WebSocketHandshake thread 0
Unwinding loop memcmp.0 iteration 1 file <builtin-library-memcmp> line 25 function memcmp thread 0
Not unwinding loop memcmp.0 iteration 2 file <builtin-library-memcmp> line 25 function memcmp thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4268 function Server_ReceiveMessage thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop Remotery_ReceiveMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Not unwinding loop Remotery_ReceiveMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop Server_Update.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4353 function Server_Update thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Unwinding loop WebSocket_Receive.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop ReceiveFrameHeader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Not unwinding loop ReceiveFrameHeader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3829 function ReceiveFrameHeader thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop TCPSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Not unwinding loop TCPSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2920 function TCPSocket_Receive thread 0
Unwinding loop WebSocket_Receive.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3911 function WebSocket_Receive thread 0
Not unwinding loop WebSocket_Receive.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3877 function WebSocket_Receive thread 0
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4268 function Server_ReceiveMessage thread 0
Unwinding loop _rmt_LogText.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Not unwinding loop _rmt_LogText.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 7036 function _rmt_LogText thread 0
Unwinding loop Remotery_ReceiveMessage.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Not unwinding loop Remotery_ReceiveMessage.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6543 function Remotery_ReceiveMessage thread 0
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop Server_Update.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4353 function Server_Update thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop rmtHashTable_Find.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Not unwinding loop rmtHashTable_Find.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2451 function rmtHashTable_Find thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Insert iteration 1
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 1
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 1
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 1
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding recursion rmtHashTable_Insert iteration 2
Unwinding loop rmtHashTable_Insert.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Not unwinding loop rmtHashTable_Insert.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2381 function rmtHashTable_Insert thread 0
Unwinding recursion rmtHashTable_Resize iteration 2
Not unwinding recursion rmtHashTable_Insert iteration 3
Unwinding loop rmtHashTable_Resize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding recursion rmtHashTable_Insert iteration 3
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Not unwinding loop rmtHashTable_Resize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2431 function rmtHashTable_Resize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1555 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1565 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1584 function strncat_s_safe_c thread 0
Unwinding loop strncat_s_safe_c.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Not unwinding loop strncat_s_safe_c.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1591 function strncat_s_safe_c thread 0
Unwinding recursion PostProcessSamples iteration 1
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 1
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Unwinding loop PostProcessSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding recursion PostProcessSamples iteration 2
Not unwinding recursion PostProcessSamples iteration 3
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Not unwinding loop PostProcessSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5707 function PostProcessSamples thread 0
Unwinding loop strnlen_s_safe_c.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Not unwinding loop strnlen_s_safe_c.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1439 function strnlen_s_safe_c thread 0
Unwinding recursion bin_Sample iteration 1
Unwinding recursion bin_SampleArray iteration 1
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 1
Unwinding recursion bin_SampleArray iteration 1
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Unwinding loop bin_SampleArray.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Unwinding recursion bin_Sample iteration 2
Unwinding recursion bin_SampleArray iteration 2
Not unwinding recursion bin_Sample iteration 3
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Not unwinding loop bin_SampleArray.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4601 function bin_SampleArray thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
aborting path on assume(false) at file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 5986 function Remotery_SendSampleTreeMessage thread 0
Unwinding recursion FlattenSamples iteration 1
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 1
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Unwinding loop FlattenSamples.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding recursion FlattenSamples iteration 2
Not unwinding recursion FlattenSamples iteration 3
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Not unwinding loop FlattenSamples.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 4813 function FlattenSamples thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding loop ObjectAllocator_Push.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Not unwinding loop ObjectAllocator_Push.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 1984 function ObjectAllocator_Push thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_SendProcessorThreads.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6047 function Remotery_SendProcessorThreads thread 0
Not unwinding loop Remotery_SendProcessorThreads.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6047 function Remotery_SendProcessorThreads thread 0
Unwinding recursion _rmt_BeginCPUSample iteration 1
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Unwinding loop WriteSize.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize thread 0
Not unwinding loop WriteSize.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 3684 function WriteSize 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 TCPSocket_Send.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2844 function TCPSocket_Send 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 TCPSocket_Send.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop TCPSocket_Send.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2857 function TCPSocket_Send thread 0
Unwinding loop TCPSocket_Close.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding loop TCPSocket_Close.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 2678 function TCPSocket_Close thread 0
Not unwinding recursion ThreadProfilers_GetCurrentThreadProfiler iteration 3
Unwinding loop Remotery_SerialisePropertySnapshots.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6200 function Remotery_SerialisePropertySnapshots thread 0
Unwinding loop Remotery_SerialisePropertySnapshots.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6195 function Remotery_SerialisePropertySnapshots thread 0
Unwinding loop Remotery_SerialisePropertySnapshots.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c line 6200 function Remotery_SerialisePropertySnapshots thread 0
