AlexanderKnueppel / AlexanderKnueppel/Guido
Method calls are not resolved in SourceCodeAnalyzer
Abierto
- Lenguaje dominante
- Java
- Estrellas
- 2
- Forks
- 0
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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?
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.