]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/ModelChecker.hpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
continue to mess with MC
[simgrid.git] / src / mc / ModelChecker.hpp
index 8b8d3958bd1de715620a3d0128430baced2ccc04..ba10b86960a8da8dd73d08037a325b13d6522a65 100644 (file)
@@ -1,4 +1,4 @@
-/* Copyright (c) 2007-2021. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2007-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. */