Ensure a fPIC in case CMDARGS has a fPIE

Lambdas should not have too many lines (sonar).

Kill obsolete FIXME.

Initialize all members (PVS V730).

Useless assignment (PVS V1048).

Also check result for last call of MPI_Alltoallv in this example.

Fix potential use of invalid data (PVS V1024).

Use existing function.

Use existing macros (and fix error code).

this was not supposed to be modified, actually

Delete unused file.

Its content is already in clusters.tesh.

[ci-skip]

fat tree routing: fix d-mod-k usage of cables when several are available

Completely remove detached comms when they are finished.

Auto for sonar.

CentOS uses dnf nowadays

Fix double-free.

Ignore ASan odr violation warnings seen with bmf unit tests.

[ci-skip]

Revert change erroneously introduced in commit 223f79c1a096e4157772f8bc3b4f5cdf5161b524

Do not mangle recorded paths when building for coverage.

... and see if it helps for coverage reports (cobertura, sonar, ...)

Use std::string_view (sonar).

Reduce scope for global variables.

Increase test timeout for coverage too.

[ci-ckip]

Try gcovr with option --gcov-ignore-parse-errors.

It seems to help locally.

Use the init-statement to declare variables inside the if statement.

Merge branch 'adegomme-master-patch-45262' into 'master'

let's see if this finds more coverage reports

See merge request simgrid/simgrid!117

let's see if this finds more coverage reports

Guard against invalid idx.

Fixes tests mbi_ParamMatching_Com_Exscan_ok, mbi_ParamMatching_Com_Scan_ok.

Type consistency.

Attribute "printf" for ModelChecker::dot_output.

Don't throw an exception from destructor.

boost::circular_buffer_space_optimized::pop_back() may throw std::bad_alloc

C++17 is required since commit d5718258083be61d600e55b70915ccca43666e0f.

Reduce depth of nested statements

Don't give write permissions to others with mkdir.

Use "std::vector" instead of C-style array (sonar).

Avoid to send/receive zero-size messages.

There seems to be something broken with them on freebsd.

Update tesh file.

(follows commit 9b1267b59e70deb98dbf69b1231f597ed292aaaf)

Misc cosmetics for sonar.

Remove temporary object (sonar).

Declare functions "const" (sonar).

Make parameters pointer/reference-to-const (sonar).

Kill redundant blank lines (codefactor.io)

[ci-skip]

[ci-skip] try to help gcovr find files (it needs to be run in the same dir as gcc)

MC: apply some sonar advices

Fix the fixme (inline templated struct).

Unused include.

remove spurious debug message and warning

update teshes

multiple attemps to tune behavior of read/write_all

fix mpi_file set/get view to set shared pointer properly and return disp

update file pointer to match shared one after shared calls when needed

seek and other calls must use number of elements and not bytes displacement

update teshes as there are now more seek calls

smpi io: restore position after calls which should not modify it (add seek calls which are not ideal but harmless)

s4u filesystem: correctly update size of files when changed

intercept getpid call in SMPI, to provide internal PID instead of same of for all processes.

implement MPI_File_get_type_extent, MPI_File_s/get_atomicity, MPI_File_get_byte_offset

filesystem, correctly update file size when seeking past it

Don't test statequality: it's ~15h w/o DPOR and hard to optimize

Correctly disable DPOR when StateEq reduction is enabled

Add the teshfiles to the archive even when MC is disabled

Add tests of state equality reduction and nodpor for DFS explo

kill a parameter that is always true

mc:DFSExplo: cosmetics in the backtracking

Merge mc_safety.hpp into DFSExplorer class

Useless cosmetics while trying to understand that code

Integrate the (WIP) hashing logic in the Snapshot object

Small cleanups in mc::Snapshot

Finish the removal of mc::api by moving the last bits to the side

I would prefer to directly kill the templated structure, but I fail to
write a correct comparison lambda because it's used over a
std::vector<std::unique_ptr<simgrid::mc::VisitedState>>

All my attempts lead to either "no conversion to std::unique_ptr<VisitedState>",
or an error saying that I try to copy a unique_ptr when my lambda
takes unique_ptr as a parameter.

Please someone better at C++ than I am, please kill it.

Move mc:api::get_remote_heap_bytes() to RemoteProcess

Convert simgrid::mc::snapshot_equal() into Snapshot::operator==()

Also inline 2 more functions from mc::api

Move the dot_output global into ModelChecker

Make the RemoteApp a field of the Exploration, and sanitize initialization

Simplify the MC initialization code

only 3 more functions to go in mc::api

Kill another mc::api function

Pass the remote app as a parameter to all exploration signals

When we'll have reforks in the future, the remote app may change
during the exploration, so we don't want to seal the current remote
app in the callback closure. We want to use the fresh one instead.

Kill 2 more functions from mc::api

Move the automaton from mc::api to Liveness. An ugly trick is needed :(

See the comment in Liveness.hpp for the full details on that trick.

log_state has nothing to do in RemoteApp, it belongs to the exploration

Sanitize MC finalization process and inline a function

Kill mc::api::get_remote_app()

Kill another function of mc::api

Kill an unimplemented declaration

Convert Api::get_maxpid() into RemoteApp::get_maxpid()

The patch is a bit complex because RemoteApp is not a singleton, and
because I converted some pointers to references on the way.

Merge an initialization function into the constructor

Rename mc::Session into mc::api::RemoteApp

[ci-skip] activate ccache on sanitizer builds

Merge branch 'master' of framagit.org:simgrid/simgrid

Ensure that the verified application still works if get_max_consider() is not called at a given depth

This can happen after a backtrack: the Checker already knows how many
times this can be considered, but the App was reset in between so it
forgot.

So, make get_max_consider() const, and do the initialization in the
observer constructor, where it belongs. Too bad for the tiny little
tiny loss of performance compared to the lazy initialization.

[ci-skip] Flags - let's see if this trailing whitespace was breaking everything..

[ci-skip] use ccache on flags build as well.
Restrict build to two nodes with enough disk space, as it's expected to be costly

Kill a now useless variable

sanitize things around FINALIZE_REPLY despite my laziness as it seems to break on FreeBSD

Fix SMPI builds by reintroducing a killed MC function that it actually use

MC further cleanups (let it compile, this time)

MC: rename a file to sort out the mess

And now cleanup the App-side of cruft that was needed for Checker to read actor informations

Finally kill mc::RemoteProcess::actors(). We now communicate the data over the wire instead of reading it directly

Give read access to a private field

inline a function, kill a file