Evgeniy Moiseenko
Evgeniy Moiseenko
Draft PR #410 (for tracking merge progress)
Hi @ndkoval ! I've rebased this PR on `develop` and fixed all previous review comments. Please have a look.
> should incrementing the number of invocations help? Maybe this happens because of the small number of invocations, indeed. Let's try to increase the number and see.
> I realized that if I increase hangingDetectionThreshold, e.g. 5 * DEFAULT_HANGING_DETECTION_THRESHOLD, then the model checker passes. The default didn't change between releases, but perhaps other differences means that the...
> @eupp could you please rebase the PR? Rebased.
@ndkoval ready for re-review
@ndkoval I still have a small concern with respect to extensive use of internal API in tests. Maybe we should consider keeping some common options in public API? Also, currently...
@ndkoval @alefedor do you remember what parts exactly require bytecode transformation? Do you have any ideas how to isolate them?
Hi @alefedor, thank you for clarification! I like the approach with stub functions. It allows to implement the class "template" in plain Kotlin code, making it easy to read and...
> Boxing is not an issue for arguments. I meant that boxing is the problem we are trying to solve with bytecode generation, isn't it? Otherwise we could just invoke...