Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make sure that kill simcalls are processed (with SIMIX_simcall_pre) at the end, right...
authorArnaud Legrand <arnaud.legrand@imag.fr>
Wed, 25 Apr 2012 22:09:03 +0000 (00:09 +0200)
committerArnaud Legrand <arnaud.legrand@imag.fr>
Wed, 25 Apr 2012 23:13:39 +0000 (01:13 +0200)
commit30b2d25dd879ac6a3d9a48ab48129f87a02f03f1
treecd7c7ccaedee9bff52c87121c61789b74fb7948f
parent574a14ec63c644ead300e6bcc7ce3e9cdf45720c
Make sure that kill simcalls are processed (with SIMIX_simcall_pre) at the end, right after resume simcalls, which are also done after any other type of simcall.
src/simix/smx_global.c