Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. Give the MC a way to ask the app to not report deadlocks (details)
Commit 44e28be32df5ae574a26ac39c4724fefe999c57a by Martin Quinson
Give the MC a way to ask the app to not report deadlocks

this will be useful when searching for the critical transition, as we
get tons of deadlocks when searching for a correct execution around
the previously found deadlock.
The file was modified src/mc/api/RemoteApp.hpp
The file was modified src/mc/remote/AppSide.cpp
The file was modified src/mc/remote/mc_protocol.h
The file was modified src/mc/remote/AppSide.hpp
The file was modified src/mc/api/RemoteApp.cpp