Threads not shown

[kroening]

E.g., try

include <stdio.h>

include <stdlib.h>

include <assert.h>

include <pthread.h>

int global;

void some_thread()
{
global++;
}

int main(void) {
pthread_create(0,0,some_thread,0);
pthread_create(0,0,some_thread,0);
assert(global!=2);
}

[prapicault]

Threads are not handled at all. For example, if a counter example required some steps in one thread, and then steps in another one, then this situation would not be handled.