AlexanderKnueppel / AlexanderKnueppel/Guido
Method calls are not resolved in SourceCodeAnalyzer
Aberta
- Linguagem predominante
- Java
- Estrelas
- 2
- Forks
- 0
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
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?
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.