XBT_INLINE void SIMIX_context_set_nthreads(int nb_threads) {
xbt_assert1(nb_threads > 0, "Invalid number of parallel threads: %d", nb_threads);
XBT_INLINE void SIMIX_context_set_nthreads(int nb_threads) {
xbt_assert1(nb_threads > 0, "Invalid number of parallel threads: %d", nb_threads);