AlexanderKnueppel / AlexanderKnueppel/Guido
Method calls are not resolved in SourceCodeAnalyzer
未關閉
- 主要語言
- Java
- 星號
- 2
- 分支
- 0
- PR 合併指標
- 30 天內沒有已合併 PR
描述
The very important characteristic
> METHOD_CALLS_SPEC_TRUE (i.e., whether called methods have a contract)
is not resolved due to problems (runtime errors/method not found stuff) with javaparser. Either we need to fix these problems or we have to come up with a resolution on our own...
How does KeY handle this stuff?
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。