X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3a1ea70a418f393ca1677074e928c664022295bd..39c935d6d5ee86d153f6f7e6a10d723ae7c57f6f:/src/mc/sosp/PageStore_test.cpp diff --git a/src/mc/sosp/PageStore_test.cpp b/src/mc/sosp/PageStore_test.cpp index 99ff03aef3..47e9983544 100644 --- a/src/mc/sosp/PageStore_test.cpp +++ b/src/mc/sosp/PageStore_test.cpp @@ -1,10 +1,11 @@ -/* Copyright (c) 2015-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2015-2021. 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. */ #include "src/include/catch.hpp" +#include #include #include #include @@ -25,7 +26,7 @@ public: static std::size_t pagesize; static std::unique_ptr store; static void* data; - static size_t pageno[4]; + static std::array pageno; static int value; // member functions used by the test suite(s) @@ -43,7 +44,7 @@ public: std::size_t helper_tests::pagesize = 0; std::unique_ptr helper_tests::store = nullptr; void* helper_tests::data = nullptr; -size_t helper_tests::pageno[4] = {0, 0, 0, 0}; +std::array helper_tests::pageno = {{0, 0, 0, 0}}; int helper_tests::value = 0; void helper_tests::Init()