X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/09abefeb928cd7ea4679407a6b4387d4f75beaa9..a2b07e1db97dbd4d8acb6c83de13d2e9449520e1:/src/mc/sosp/Snapshot_test.cpp diff --git a/src/mc/sosp/Snapshot_test.cpp b/src/mc/sosp/Snapshot_test.cpp index 47350be9b3..01081e3ab7 100644 --- a/src/mc/sosp/Snapshot_test.cpp +++ b/src/mc/sosp/Snapshot_test.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2014-2021. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2014-2022. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -58,7 +58,7 @@ void snap_test_helper::Init() REQUIRE(1 << xbt_pagebits == xbt_pagesize); process = std::make_unique(getpid()); - process->init(); + process->init(nullptr, nullptr); mc_model_checker = new ::simgrid::mc::ModelChecker(std::move(process), -1); }