-
Notifications
You must be signed in to change notification settings - Fork 45
Support Kotlin null safety #1257
Copy link
Copy link
Open
Labels
comp-codegenIssue is related to code generatorIssue is related to code generatorcomp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a buglang-kotlinIssue is related to Kotlin language supportIssue is related to Kotlin language support
Metadata
Metadata
Assignees
Labels
comp-codegenIssue is related to code generatorIssue is related to code generatorcomp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a buglang-kotlinIssue is related to Kotlin language supportIssue is related to Kotlin language support
Type
Projects
Status
Todo
Description
We have to properly handle Kotlin nullable and not-nullable types to produce correct tests:
null?.and!!in generated files where it is needed.There were some attempts to support this, but this is only partially supported currently.
To Reproduce
There are many cases where behavior is incorrect. For example, launch action on the following class:
Expected behavior
Correct tests are generated.
Actual behavior
Among others, the following test is generated:
Additional context
This is an old big issue, which may be solved step by step.