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
..
.settings	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
src	Fix bug in precondition check ensureNoOtherFromModelGroupIsRecording	2022-11-11 17:29:17 +01:00
.classpath	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
.gitignore	Add idea project files to .gitignore	2020-11-21 19:20:01 +01:00
.project	Split up project into client, server, common and master	2018-11-18 22:42:13 +01:00
pom.xml	Set version to 4.7.13	2022-10-22 15:17:15 +02:00