The pointer to the root cintainer in init was not set to NULL after deletion, so if you called destroy, the root container still had a non-null pointer and calling init afterwards lead to the problem that the backend was working with an old invalid pointer.
The pointer to the root cintainer in init was not set to NULL after
deletion, so if you called destroy, the root container still had a non-null pointer
and calling init afterwards lead to the problem that the backend was working with
an old invalid pointer.

jonasfoe/COPASI,jonasfoe/COPASI,copasi/COPASI,jonasfoe/COPASI,copasi/COPASI,jonasfoe/COPASI,jonasfoe/COPASI,jonasfoe/COPASI,copasi/COPASI,copasi/COPASI,copasi/COPASI,copasi/COPASI,jonasfoe/COPASI,copasi/COPASI,jonasfoe/COPASI,copasi/COPASI,copasi/COPASI,jonasfoe/COPASI