DIVINE issueshttps://gitlab.fi.muni.cz/paradise/DIVINE/-/issues2016-06-16T22:15:22+02:00https://gitlab.fi.muni.cz/paradise/DIVINE/-/issues/15Detect use after destruction.2016-06-16T22:15:22+02:00Vladimír ŠtillDetect use after destruction.Instrument C++ destructors in such a way that they de-initialize the memory. This would catch use after destruction for non-trivially destructible classes.Instrument C++ destructors in such a way that they de-initialize the memory. This would catch use after destruction for non-trivially destructible classes.v4.0https://gitlab.fi.muni.cz/paradise/DIVINE/-/issues/1lart: Make sure exception visibility transformation is idempotent.2016-06-17T12:36:59+02:00Vladimír Štilllart: Make sure exception visibility transformation is idempotent.v4.0Vladimír ŠtillVladimír Štill