A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
MC: apply some sonar advices
[simgrid.git]
/
src
/
mc
/
explo
/
DFSExplorer.hpp
diff --git
a/src/mc/explo/DFSExplorer.hpp
b/src/mc/explo/DFSExplorer.hpp
index
161781b
..
d30de61
100644
(file)
--- a/
src/mc/explo/DFSExplorer.hpp
+++ b/
src/mc/explo/DFSExplorer.hpp
@@
-8,7
+8,6
@@
#include "src/mc/VisitedState.hpp"
#include "src/mc/explo/Exploration.hpp"
#include "src/mc/VisitedState.hpp"
#include "src/mc/explo/Exploration.hpp"
-#include "src/mc/mc_safety.hpp"
#include <list>
#include <memory>
#include <list>
#include <memory>
@@
-18,7
+17,9
@@
namespace simgrid::mc {
class XBT_PRIVATE DFSExplorer : public Exploration {
namespace simgrid::mc {
class XBT_PRIVATE DFSExplorer : public Exploration {
- ReductionMode reductionMode_ = ReductionMode::unset;
+ XBT_DECLARE_ENUM_CLASS(ReductionMode, none, dpor);
+
+ ReductionMode reduction_mode_;
long backtrack_count_ = 0;
static xbt::signal<void(RemoteApp&)> on_exploration_start_signal;
long backtrack_count_ = 0;
static xbt::signal<void(RemoteApp&)> on_exploration_start_signal;
@@
-34,7
+35,7
@@
class XBT_PRIVATE DFSExplorer : public Exploration {
static xbt::signal<void(RemoteApp&)> on_log_state_signal;
public:
static xbt::signal<void(RemoteApp&)> on_log_state_signal;
public:
- explicit DFSExplorer(
RemoteApp& remote_app
);
+ explicit DFSExplorer(
const std::vector<char*>& args, bool with_dpor
);
void run() override;
RecordTrace get_record_trace() override;
std::vector<std::string> get_textual_trace() override;
void run() override;
RecordTrace get_record_trace() override;
std::vector<std::string> get_textual_trace() override;
@@
-82,7
+83,6
@@
public:
private:
void check_non_termination(const State* current_state);
void backtrack();
private:
void check_non_termination(const State* current_state);
void backtrack();
- void restore_state();
/** Stack representing the position in the exploration graph */
std::list<std::unique_ptr<State>> stack_;
/** Stack representing the position in the exploration graph */
std::list<std::unique_ptr<State>> stack_;