From 0ffdcae8e9f94a4ae002292acf1faf5df08e5583 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 26 Aug 2022 15:52:46 +0200 Subject: [PATCH] Type consistency. --- src/mc/api/State.hpp | 2 +- src/mc/explo/DFSExplorer.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp index 31ce75675a..92164cf4d5 100644 --- a/src/mc/api/State.hpp +++ b/src/mc/api/State.hpp @@ -47,7 +47,7 @@ public: std::map const& get_actors_list() const { return actors_to_run_; } unsigned long get_actor_count() const { return actors_to_run_.size(); } - bool is_actor_enabled(int actor) { return actors_to_run_.at(actor).is_enabled(); } + bool is_actor_enabled(aid_t actor) { return actors_to_run_.at(actor).is_enabled(); } Snapshot* get_system_state() const { return system_state_.get(); } void set_system_state(std::shared_ptr state) { system_state_ = std::move(state); } diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp index 373d6e8a31..03122f3d31 100644 --- a/src/mc/explo/DFSExplorer.cpp +++ b/src/mc/explo/DFSExplorer.cpp @@ -123,7 +123,7 @@ void DFSExplorer::run() } // Search for the next transition - int next = state->next_transition(); + aid_t next = state->next_transition(); if (next < 0) { // If there is no more transition in the current state, backtrack. XBT_DEBUG("There remains %lu actors, but none to interleave (depth %zu).", state->get_actor_count(), -- 2.20.1