Description
An error occurred during generation for org.antlr.v4.codegen.Target.getTemplates
java.lang.IllegalArgumentException: No targets for Invocation(instance=ObjectValue(typeStorage=org.antlr.v4.codegen.Target, addr=addr: (BVInt32 p_this)), method=<org.antlr.v4.codegen.Target: org.stringtemplate.v4.STGroup getTemplates()>, parameters=[], generator=() -> kotlin.collections.List<org.utbot.engine.InvocationTarget>)
at org.utbot.engine.Traverser.commonInvokePart(Traverser.kt:2707)
at org.utbot.engine.Traverser.virtualAndInterfaceInvoke(Traverser.kt:2498)
To Reproduce
Steps to reproduce the behavior:
Example:
- Run the contest estimator for org.antlr.v4.codegen.Target.getTemplates with 120s time limit
- Check the results
Expected behavior
Execution without errors.
Actual behavior
An error encountered.
Visual proofs (screenshots, logs, images)
Not applicable.
Environment
There is no specific environment.
Additional context
There is no additional context.
Description
An error occurred during generation for
org.antlr.v4.codegen.Target.getTemplatesTo Reproduce
Steps to reproduce the behavior:
Example:
Expected behavior
Execution without errors.
Actual behavior
An error encountered.
Visual proofs (screenshots, logs, images)
Not applicable.
Environment
There is no specific environment.
Additional context
There is no additional context.