Previously, calling a merge function resulted in the original database entries being tweaked (mainly their IDs), as only their pointers were copied. This PR changes it to create copies of the entries and add them to the merged result, so the copied entries can be safely tweaked. This allows to re-use the same Database for multiple merge attempts.
Coverage increased (+0.2%) to 81.72% when pulling 8cf0b4132f0907ff76461cee3d679ca8b1c27779 on replayability into d31f7c89a2dbf1cb01d4914ee50db657cc58bb32 on master.
Previously, calling a merge function resulted in the original database entries being tweaked (mainly their IDs), as only their pointers were copied. This PR changes it to create copies of the entries and add them to the merged result, so the copied entries can be safely tweaked. This allows to re-use the same Database for multiple merge attempts.
Changes: