Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics: cpu_load is not supposed to be >1 anymore
[simgrid.git] / teshsuite / mc / dwarf-expression / dwarf-expression.cpp
index 8a63108c454ac8be25f8dc19574355bf612a5a5e..48d21acf2c863c7add160f7a6593ddafb88a4c73 100644 (file)
@@ -1,5 +1,4 @@
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved.                                                     */
+/* Copyright (c) 2014-2019. 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. */
@@ -8,18 +7,18 @@
 #undef NDEBUG
 #endif
 
+#include "src/mc/mc_private.hpp"
+
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/Type.hpp"
+#include "src/mc/inspect/Variable.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
+
 #include <cassert>
 #include <cstdlib>
 #include <cstring>
 #include <random>
 
-#include "src/mc/mc_private.hpp"
-
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Type.hpp"
-#include "src/mc/Variable.hpp"
-#include "src/mc/remote/RemoteClient.hpp"
-
 static std::default_random_engine rnd_engine;
 
 static simgrid::mc::RemoteClient* process;
@@ -150,7 +149,8 @@ void test_deref(simgrid::dwarf::ExpressionContext const& state) {
   }
 }
 
-int main(int argc, char** argv) {
+int main()
+{
   process = new simgrid::mc::RemoteClient(getpid(), -1);
   process->init();