Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb2e345) | patch
More ptrace portability in model checker.
authorMatthieu Volat <mazhe@alkumuna.eu>
Sun, 27 Nov 2016 19:31:39 +0000 (20:31 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Mon, 28 Nov 2016 09:55:07 +0000 (10:55 +0100)
commit6a67ff3523fc9af2c5d0316c8fec2e7375230787
tree4b77893c0a3d33165489eb46df67fc3216d6b597tree | snapshot
parentfb2e3453833f110f04a4920ca223d06cc14fe469commit | diff
More ptrace portability in model checker.

No PTRACE_O_TRACEEXIT equivalent in the original ptrace API, futher
work will indicate if this will be a problem.

Update message a bit when neither linux's or BSD's version are
available.
src/mc/Client.cpp diff | blob | history
src/mc/ModelChecker.cpp diff | blob | history
Clone of SimGrid repository with local patches