X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7d2fa9464dd72784b0e3fa18067cbec14edff31c..82fafbab5f8ce1530037fd245d678e917119caa0:/src/simix/popping_enum.hpp diff --git a/src/simix/popping_enum.hpp b/src/simix/popping_enum.hpp index 99f89afee5..eb82c44447 100644 --- a/src/simix/popping_enum.hpp +++ b/src/simix/popping_enum.hpp @@ -4,7 +4,7 @@ /* DO NOT EVER CHANGE THIS FILE */ /* */ /* change simcalls specification in src/simix/simcalls.in */ -/* Copyright (c) 2014-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2014-2021. The SimGrid Team. All rights reserved. */ /**********************************************************************/ /* @@ -31,17 +31,14 @@ enum class Simcall { COMM_TEST, COMM_TESTANY, MUTEX_LOCK, - MUTEX_TRYLOCK, - MUTEX_UNLOCK, COND_WAIT, COND_WAIT_TIMEOUT, SEM_ACQUIRE, SEM_ACQUIRE_TIMEOUT, - MC_RANDOM, RUN_KERNEL, RUN_BLOCKING, }; -constexpr int NUM_SIMCALLS = 20; +constexpr int NUM_SIMCALLS = 17; } // namespace simix } // namespace simgrid