Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "Try to improve coverage reports for MC tests."
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 31 Jan 2019 14:29:41 +0000 (15:29 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 31 Jan 2019 14:32:43 +0000 (15:32 +0100)
commit4f922e5512c4c9b3b287b595ee3371c792be8cee
tree16254079f27d09aad6b81c4d6956dd886312cf20
parentde0b4695379832237daa6785278ff42df1db08e1
Revert "Try to improve coverage reports for MC tests."

This reverts commit db3df03114cb65a9c27c2c1dfd6faf964b571254.

The following tests are broken (timeout): mc-bugged1-liveness-visited-ucontext,
mc-bugged1-liveness-visited-ucontext-sparse and mc-umpire-comm-dup-no-free2.

To reproduce, it seems that compile_optimizations should be disabled.
src/mc/remote/Client.cpp