0xb00bface 5b62b2dba8 Fix bug in precondition check ensureNoOtherFromModelGroupIsRecording ... The check used model objects from the model group, which might have been old serialized objects with an outdated state. The model from the model group is now updated with the current state from the recorder before performing the check.		2022-11-11 17:29:17 +01:00
..
main	Fix bug in precondition check ensureNoOtherFromModelGroupIsRecording	2022-11-11 17:29:17 +01:00
test/java/ctbrec	Fix unit test	2022-08-13 19:00:14 +02:00