Currently input/output is recorded at the call site. This has some inconvenient consequences:
input/output in not recorded classes is ignored
input/output call site is virtual so there is a mismatch between the @Output/@Input-Annotation and the call (currently solved such that also virtual overrides are recorded)
record is call-site-based, replay is method-based, which may lead to inconsistent behaviour at replay,
Currently input/output is recorded at the call site. This has some inconvenient consequences:
@Output
/@Input
-Annotation and the call (currently solved such that also virtual overrides are recorded)