return page_store_;
}
const char* get_host_name(const char* name);
+
+ bool is_important_snapshot(Snapshot const& snapshot) const
+ {
+ return &snapshot == mc_model_checker->parent_snapshot_;
+ }
};
}
/************************************ Free functions **************************************/
/*****************************************************************************************/
-int MC_important_snapshot(mc_snapshot_t snapshot)
-{
- // We need this snapshot in order to know which
- // pages needs to be stored in the next snapshot.
- // This field is only non-NULL when using soft-dirty
- // page tracking.
- if (snapshot == mc_model_checker->parent_snapshot_)
- return true;
-
- return false;
-}
-
/** @brief Restore a region from a snapshot
*
* @param reg Target region
XBT_PRIVATE void MC_invalidate_cache(void);
-XBT_PRIVATE int MC_important_snapshot(mc_snapshot_t snapshot);
-
SG_END_DECL()
#endif
mc_visited_state_t state_test;
xbt_dynar_foreach(visited_states, cursor2, state_test){
- if (!MC_important_snapshot(state_test->system_state) && state_test->num < min2) {
+ if (!mc_model_checker->is_important_snapshot(*state_test->system_state)
+ && state_test->num < min2) {
index2 = cursor2;
min2 = state_test->num;
}
unsigned int cursor2 = 0;
unsigned int index2 = 0;
xbt_dynar_foreach(visited_pairs, cursor2, pair_test) {
- if (!MC_important_snapshot(pair_test->graph_state->system_state)
+ if (!mc_model_checker->is_important_snapshot(*pair_test->graph_state->system_state)
&& pair_test->num < min2) {
index2 = cursor2;
min2 = pair_test->num;