pickling.py not working?

Hi all,
is it possible that the pickling example is currently not working?
I ran it inside a ipython3-shell. After the script finished, I looked at loaded_data which is indeed an array of BaseVectors, however, taking the first of these it turns out to have size

In [4]: loaded_data[0].size
Out[4]: 140545872919416

which does not seem to be correct
Trying to print the vector causes a segfault.

I also tried plain pickler, not NgsPickler, yet with the same result.

thx,
Jan

Yes pickling was indeed broken for BaseVectors since the move to pybind11. This has been fixed in this commit:
github.com/NGSolve/ngsolve/commit/a128c3...c75d9dd6afc91a7228b7

Thanks for reporting