mcapi::log_state() in run()

mcapi::mc_wait_for_requests() in run()

mcapi::handle_simcall() in run()

mcapi::mc_inc_executed_trans() in run()

request_to_string() implementation in mc_api class

Pull from simgrid/master and a subsequent merge with origin/master

request_get_dot_output() implementation in mc_api class

mcapi::request_get_dot_output() called in run()

Convert deprecated/msg/trace-masterworker to s4u/trace-masterworkers.

mcapi::snapshot_equal() in insert_visited_pair()

mcapi::automaton_state_compare() in insert_visited_pair()

mcapi::snapshot_equal() called in insert_acceptance_pair()

mc_api::automaton_state_compare() defined. It's called in insert_acceptance_pair()

mcapi::compare_pair() in insert_acceptance_pair()

mcapi::compare_pair() in addVisitedState()

mc_api::compare_pair() defined, it's called in insert_visited_pair()

A Pull from simgrid/master and a subsequent merge

Spacing cosmetics.

Fix misleading cmake message.

"Example mc-bugged1-liveness disabled, thus not compiled." while it's not true.

Reduce scope for variables.

Useless code.

Fix type.

Update MANIFEST.in.

Convert deprecated/msg/trace-host-user-variables to s4u/trace-host-user-variables.

Convert deprecated/msg/trace-link-user-variables to s4u/trace-link-user-variables.

Convert deprecated/msg/trace-host-user-variables to s4u/trace-host-user-variables.

Convert deprecated/msg/trace-categories to s4u/trace-categories.

Chdir into example directory, and set srcdir.

mc_api::set_property_automaton(), it is called in run()

[sonar] Refactor to reduce nested blocks.

[sonar] s/NULL/nullptr.

pull from simgrid/master and a subsequent merge with origin/master

Change timeout value to avoid a NetworkFailureException.

We don't want ctest to report a test failure.

CodeFactor nags!

mc_api::compare_automaton_exp_lable() defined. It's called in evaluate_label()

mc_api::get_automaton_state() defined. It is called in LivenessChecker::run()

code arrangement

mcapi.actor_is_enabled() is called in LivenessChecker::create_pair()

mcapi.get_actors() is called in LivenessChecker::create_pair()

Pull simgrid/master and a subsequent merge

Please cppcheck.

Use type 'bool' for boolean.

Drop xbt_str_split().

[sonar] Reduce number of nested code blocks.

Best viewed with 'git show -b'

Increase coverage.

Drop unused smpi/plugins/load_balancer.

There's no example, and it seems that it's not used since nearly 2 years.

Fix comment.

mc_api::automaton_propositional_symbol_evaluate() is used in LivenessChecker::get_proposition_values()

mc_api::s_initialize() renamed to mc_api::session_initialize()

call to mcapi.s_initialize()

mc_api::automaton_load() defined

Fix comment : 2nd arg was never used.

Add more tests for coverage.

Cosmetics (uppercase).

Change parameter to increase coverage.

Exclude examples/smpi/mc from coverage analysis.

Dry run MC examples for coverage.

Allow to set a deadline for test.

Unused argument.

Revert "Silly workaround for coverage build with gcc-10."

This reverts commit d345b5dad90a1ec9829011b9188185aaf4d3240a.

The problem with gcc was likely fixed with PR fortran/95847
(see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95847)

Update .mailmap.

Attribute 'const'.

Attribute 'noreturn'.

Use operator= to copy std::vector.

MC_smx_get_maxpid returns an unsigned long.

Fix build MC+NO_SMPI.

[pvs] Don't let field uninitialized.

Call the good function.

Caught by PVS-studio.

Merge remote-tracking branch 'github/master'

Merge pull request #369 from eazimi/master

Further work on the Facade API of Mc SimGrid.

static function

mcapi::get().request_to_string() called in LivenessChecker::replay() and LivenessChecker::run()

LivenessChecker::get_textual_trace() calls a facade api

mc_api::mc_dump_record_path() renamed to mc_api::dump_record_path()

LivenessChecker::show_acceptance_cycle() call facade APIs

LivenessChecker::log_state() calls a facade api

copy_incomplete_comm_pattern() and copy_index_comm_pattern() moved from mc_api to mc_state class

cleanup!

MC_restore_communications_pattern() and MC_patterns_copy() moved to CommunicationDeterminismChecker.cpp,
mc_comm_pattern.cpp dissolved

CommunicationDeterminismChecker class doesn't use RemotePtr, it passes paramaters
with CommImpl* type to APIs in mc_api (fasade layer). The mc_api calls RemotePtr and does
the required conversion.

mc_api::comm_addr_equal() is used in CommunicationDeterminismChecker::complete_comm_pattern()

handle_comm_pattern() defined in CommunicationDeterminismChecker class,
mc_api::get_comm_wait_raw_addr() and mc_api::get_comm_waitany_raw_addr()
are used in handle_comm_pattern()

mc_api::comm_addr_equal() defined

mc_api::get_comm_waitany_raw_addr() defined

mc_api::get_comm_wait_raw_addr() defined

mc_api::get_pattern_comm_addr() is renamed to mc_api::get_comm_isend_raw_addr()

MC_state_copy_incomplete_communications_pattern() implemented in mc_api

MC_state_copy_index_communications_pattern() implemented in mc_api

more cleanups

mcapi::s_restore_initial_state() renamed to mcapi::restore_initial_state()

A little bit clean up, mc_api::s_log_state() renamed to mc_api::log_state()

mcapi::get().get_actors() is called in CommunicationDeterminismChecker::real_run()

mc_api::restore_state() is defined, it is used in SafetyChecker::restore_state() and CommunicationDeterminismChecker::restoreState()

mc_api::get_actors_size() defined and it is used in VisitedState::VisitedState()

mc_api (facade layer) is merged with mster branch in simgrid project

Fix comment.

Introduce mc::mc_api (pull request 1 -- #349)

* mc_api class introduced, SafetyChecher's constructor and main() in simgrid_mc.cpp call mc_api's functions

* SafetyChecker::restore_state() calls mc_api functions

* SafetyChecker::backtrack() calls mc_api functions

* SafetyChecker::log_state() calls  APIs of mc_api

* SafetyChecker::get_textual_trace() uses mc_api

* SafetyChecker::check_non_termination() uses mc_api

* SafetyChecker::run() uses mc_api

* mc_assert() deleted

* get_maxpid() and take_snapshot() in mc_api

* copy_incomplete_comm_pattern() and copy_index_comm_pattern() in mc_api

* mc_api::mc_state_choose_request() updated

* In VisitedState class, get_remote_heap_bytes() from mc_api is called

* prepare() and run() call APIs of mc_api

* CommunicationDeterminismChecker::real_run() uses APIs of mc_api

* CommunicationDeterminismChecker::restoreState() uses APIs of mc_api

* CommunicationDeterminismChecker::log_state() uses APIs of mc_api

* mc_pattern.hpp created

* get_pattern_comm_rdv() defined in mc_api and used in CommDet checker

* mc_api::get_pattern_comm_rdv()
mc_api::get_pattern_comm_addr()
mc_api::get_pattern_comm_src_proc()
mc_api::get_pattern_comm_data()
mc_api::get_actor_host_name()
The above functions are defined in mc_api and being used in comm_dete checker

* conflict with simgrid/master resolved

* unused variable removed

* call APIs from facade layer

* mc_api::get_smpi_request_tag() defined and used in comm_deter checker

* mc_api::get_pattern_comm_dst_proc() defined and used in comm_deter checker

* mc_api::check_send_request_detached() defined and used in comm_deter checker

* CommunicationDeterminismChecker::deterministic_comm_pattern() uses APIs of mc_api

* mc_api clean up

* mc_api::get_src_actor() defined,
it used in update_comm_pattern() of comm. deter. checker

* mc_api::get_dst_actor() defined,
it used in update_comm_pattern() of comm. deter. checker

* mc_api::get_actor_host_name() used by update_comm_pattern() in comm. deter. checker

* mc_api::get_pattern_comm_data() defined,
it used by update_comm_pattern() in comm. deter. checker

Co-authored-by: Ehsan Azimi <eazimi@ehsan.irisa.fr>

mc_api::get_pattern_comm_data() defined,
it used by update_comm_pattern() in comm. deter. checker

mc_api::get_actor_host_name() used by update_comm_pattern() in comm. deter. checker

mc_api::get_dst_actor() defined,
it used in update_comm_pattern() of comm. deter. checker