- 
                Notifications
    You must be signed in to change notification settings 
- Fork 45
Closed
Labels
Milestone
Description
Description
Summarization for nested classes are not generated due to the not found source file in the call
 Instrumenter.adapter.computeSourceFileByClass(this.method.classId.jClass, searchDirectory)
File not found, nothing to parse as a result the summaries are not generated.
To Reproduce
- Run the snippet of code in IntelliJ Idea
- Run plugin via runIde
- Disable Fuzzing in the Settings Panel (Fuzzing = 0 %, Symbolic = 100 %)
- Use plugin to generate tests
- Set breakpoint at the RdInstrumenterKt:33
- See, that the source file is not found.
Code for test generation:
public class DeepNested {
    public class Nested1 {
        public class Nested2 {
            public int f(int i) {
                if (i > 0) {
                    return 10;
                }
                return 0;
            }
        }
    }
}
Expected behavior
Source file should not be empty.
Actual behavior
Source file is not found
Visual proofs (screenshots, logs, images)
Additional context
Related to the #710
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Done
