mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
We have experienced some deadlocks lately because of programming errors. This change will not result in a clean exit for those but rather an abort by MPI because of non-matching communications. Also we cannot forsee whether people will add more exceptions in those parts that were not protected. We better play it safe here.