summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f0e56bf)
* XBT_PRIVATE symbols;
* header files only used inside the .cpp file.
Fixes a symbol visbility mismatch warning.
};
XBT_PUBLIC() Checker* createLivenessChecker(Session& session);
};
XBT_PUBLIC() Checker* createLivenessChecker(Session& session);
+XBT_PUBLIC() Checker* createSafetyChecker(Session& session);
+XBT_PUBLIC() Checker* createCommunicationDeterminismChecker(Session& session);
+Checker* createCommunicationDeterminismChecker(Session& session)
+{
+ return new CommunicationDeterminismChecker(session);
+}
+
}
}
\ No newline at end of file
}
}
\ No newline at end of file
namespace simgrid {
namespace mc {
namespace simgrid {
namespace mc {
-class CommunicationDeterminismChecker : public Checker {
+class XBT_PRIVATE CommunicationDeterminismChecker : public Checker {
public:
CommunicationDeterminismChecker(Session& session);
~CommunicationDeterminismChecker();
public:
CommunicationDeterminismChecker(Session& session);
~CommunicationDeterminismChecker();
SafetyChecker::~SafetyChecker()
{
}
SafetyChecker::~SafetyChecker()
{
}
+
+Checker* createSafetyChecker(Session& session)
+{
+ return new SafetyChecker(session);
+}
namespace simgrid {
namespace mc {
namespace simgrid {
namespace mc {
-class SafetyChecker : public Checker {
+class XBT_PRIVATE SafetyChecker : public Checker {
simgrid::mc::ReductionMode reductionMode_ = simgrid::mc::ReductionMode::unset;
public:
SafetyChecker(Session& session);
simgrid::mc::ReductionMode reductionMode_ = simgrid::mc::ReductionMode::unset;
public:
SafetyChecker(Session& session);
+class XBT_PRIVATE VisitedStates {
std::vector<std::unique_ptr<simgrid::mc::VisitedState>> states_;
public:
void clear() { states_.clear(); }
std::vector<std::unique_ptr<simgrid::mc::VisitedState>> states_;
public:
void clear() { states_.clear(); }
#include "src/mc/mc_exit.h"
#include "src/mc/Session.hpp"
#include "src/mc/Checker.hpp"
#include "src/mc/mc_exit.h"
#include "src/mc/Session.hpp"
#include "src/mc/Checker.hpp"
-#include "src/mc/CommunicationDeterminismChecker.hpp"
-#include "src/mc/SafetyChecker.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_main, mc, "Entry point for simgrid-mc");
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_main, mc, "Entry point for simgrid-mc");
{
if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
return std::unique_ptr<simgrid::mc::Checker>(
{
if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
return std::unique_ptr<simgrid::mc::Checker>(
- new simgrid::mc::CommunicationDeterminismChecker(session));
+ simgrid::mc::createCommunicationDeterminismChecker(session));
else if (!_sg_mc_property_file || _sg_mc_property_file[0] == '\0')
return std::unique_ptr<simgrid::mc::Checker>(
else if (!_sg_mc_property_file || _sg_mc_property_file[0] == '\0')
return std::unique_ptr<simgrid::mc::Checker>(
- new simgrid::mc::SafetyChecker(session));
+ simgrid::mc::createSafetyChecker(session));
else
return std::unique_ptr<simgrid::mc::Checker>(
simgrid::mc::createLivenessChecker(session));
else
return std::unique_ptr<simgrid::mc::Checker>(
simgrid::mc::createLivenessChecker(session));