X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2c5d3ee7688e885a4b6d103e1bbaba0b4eb5697d..9f3bf03bc16c127eac07b0a576636e1116599342:/src/surf/cpu_cas01.cpp diff --git a/src/surf/cpu_cas01.cpp b/src/surf/cpu_cas01.cpp index 52d7f2c339..bacf7159d5 100644 --- a/src/surf/cpu_cas01.cpp +++ b/src/surf/cpu_cas01.cpp @@ -43,10 +43,10 @@ CpuCas01Model::CpuCas01Model() : simgrid::surf::CpuModel() if (optim == "Full") { setUpdateMechanism(UM_FULL); } else if (optim == "Lazy") { - setUpdateMechanism(UM_LAZY); + xbt_assert(select || xbt_cfg_is_default_value("cpu/maxmin-selective-update"), + "You cannot disable cpu selective update when using the lazy update mechanism"); select = true; - xbt_assert(select || (xbt_cfg_is_default_value("cpu/maxmin-selective-update")), - "Disabling selective update while using the lazy update mechanism is dumb!"); + setUpdateMechanism(UM_LAZY); } else { xbt_die("Unsupported optimization (%s) for this model", optim.c_str()); }