We should call flint_cleanup_master() before exiting Nemo

[thofma]

Don't use atexit, since it runs before all objects finalizers.

[fingolfin]

What does "existing Nemo" mean? Isn't this only happening when exiting Julia? But then all processes resources (like memory allocations) are freed automatically anyway. So what does flint_cleanup_master do that's not covered by this?

[thofma]

To get no false positives for valgrind. I once suspected leaks in some julia program, but without flint_cleanup_master there are too many false positives. See https://github.com/flintlib/flint/issues/1163 and the discussion there.

P.S.: I think it is impossible to do it with the current state of julia.