Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix context registration which was disabled by a bug
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 22 Feb 2016 14:53:41 +0000 (15:53 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 22 Feb 2016 14:55:06 +0000 (15:55 +0100)
commitf2ad0175ed569f3cfa5df330ec4174d7fe7b1229
tree2d0f9e8f5c8999c226f4175081c59f3ce1392984
parent18e460863a319f591129177893a7cd0d026916ac
[mc] Fix context registration which was disabled by a bug

I was bitten by the move constructor and context registration was
completely disabled.

This fixes the main MC tests.
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh
src/simix/UContext.cpp