Insert and delete operations of insert(), erase() (plus insert_after() and erase_after() for std::forward_list-like containers were not modeled yet. This patch fixes this issue.
Diff Detail
Diff Detail
Event Timeline
Comment Actions
It seems like we could model here emplace and emplace_after exactly the same way we do with insert and insert_after, couldn't we? Perhaps that could go into this patch too.
Comment Actions
They are already in this patch (see the tests and the CallDescriptionMap), but they share their handing function with insert and insert_after.