+XBT_INLINE void SIMIX_context_set_nthreads(char* str_nb_threads) {
+
+ int nb_threads;
+
+ if(!strcmp(str_nb_threads,"auto")){
+ nb_threads = PROCESSOR_COUNT;
+ XBT_DEBUG("Auto-setting threads to %d",nb_threads);
+ }
+ else
+ nb_threads = atoi(str_nb_threads);