Roman Dobiáš
Results
3
comments of
Roman Dobiáš
Progress update: Currently all code is being developed in my private repo.
**In case someone was interested in how to proceed with fixing this issue:** This bug is caused by the way the macro functional meta programming is implemented for this project...
If I understood the code correctly, as of `json k(j);` the invariant is invalid for instance `j` due to function `insert(it, it)` missing a call to `set_parents()` after this line...