Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: move some files related to ELF, DWARF or unwind reading into their own directory
[simgrid.git] / src / mc / checker / Checker.cpp
1 /* Copyright (c) 2016-2019. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include <string>
8
9 #include <xbt/asserts.h>
10
11 #include "src/mc/checker/Checker.hpp"
12 #include "src/mc/ModelChecker.hpp"
13
14 namespace simgrid {
15 namespace mc {
16
17 Checker::Checker(Session& s) : session_(&s)
18 {
19   xbt_assert(mc_model_checker);
20   xbt_assert(mc_model_checker->getChecker() == nullptr);
21   mc_model_checker->setChecker(this);
22 }
23
24 }
25 }