Is there a dummy pthread library that I can use with single-threaded programs that only use a single thread but are linked against thread-safe libraries (i.e., threads that call pthread_* functions).
I am 99.9% sure that I don't need any actual thread support - just an implementation that pretends to support a single thread. I'm guessing that a dummy library would mostly consist of a bunch of functions that return constant values because there is only one thread, no lock contention, etc. And I'm also guessing that somebody has already implemented such a library. -- Alastair Reid ps The functions that I need (as reported when I run KLEE) are: pthread_attr_destroy pthread_attr_getstack pthread_attr_init pthread_cond_destroy pthread_cond_init pthread_cond_signal pthread_cond_wait pthread_condattr_destroy pthread_condattr_init pthread_condattr_setclock pthread_getattr_np pthread_getspecific pthread_key_create pthread_key_delete pthread_mutex_destroy pthread_mutex_init pthread_mutex_lock pthread_mutex_unlock pthread_mutexattr_destroy pthread_mutexattr_init pthread_mutexattr_settype pthread_rwlock_rdlock pthread_rwlock_unlock pthread_rwlock_wrlock pthread_self pthread_setspecific
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
