Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
a685913d6e2acbc0d4bbeec9ca2a5dc6104df084
[simgrid.git] / src / mc / checker / Checker.cpp
1 /* Copyright (c) 2016. 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& session) : session_(&session)
18 {
19   xbt_assert(mc_model_checker);
20   xbt_assert(mc_model_checker->getChecker() == nullptr);
21   mc_model_checker->setChecker(this);
22 }
23
24 Checker::~Checker()
25 {
26 }
27
28 // virtual
29 RecordTrace Checker::getRecordTrace()
30 {
31   return {};
32 }
33
34 // virtual
35 std::vector<std::string> Checker::getTextualTrace()
36 {
37   return {};
38 }
39
40 // virtual
41 void Checker::logState()
42 {
43 }
44
45 }
46 }