Coverage decreased (-0.04%) to 90.0% when pulling 40ddfd1610ff2a8def956bbc305e0b5ba4a09eab on simul into 44ea19bb003f9ff3ceed940fba9a5945fef31db0 on master.
Coverage decreased (-0.1%) to 89.728% when pulling 02a6ec1fdcd9d369356bd7c924fd465d2146771f on simul into 6f85dbefe738468bd9627c2fbb3ad770770d1adb on master.
Coverage decreased (-0.1%) to 89.728% when pulling f828c51fb7fd0fedf3d4706c8bb7c349de832fac on simul into 6f85dbefe738468bd9627c2fbb3ad770770d1adb on master.
Not clear how to interface with DeDiS's
monitor