Search results

Internal utbot exception OverflowDetectionError is verified in generated test

comp-codegenIssue is related to code generatorIssue is related to code generator

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2650 In UnitTestBot/UTBotJava;

· alisevych opened on Oct 5, 2023

Class is identified as abstract and no tests are generated

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2647 In UnitTestBot/UTBotJava;

· alisevych opened on Oct 5, 2023

Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

spec-flakyReproducing scenario is not clearReproducing scenario is not clear

Status: Open.

#2636 In UnitTestBot/UTBotJava;

· tyuldashev opened on Oct 2, 2023

Favor arrays with different values

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

Status: Open.

#2547 In UnitTestBot/UTBotJava;

· alisevych opened on Aug 23, 2023

NoSuchElementException: Key 4 is missing in the map during generation for Spring @RestController

comp-springIssue is related to Spring projects supportIssue is related to Spring projects support

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2488 In UnitTestBot/UTBotJava;

· tyuldashev opened on Aug 8, 2023

Generate instances of input parameters when possible instead of null

comp-minimizerIssue is related to Minimization phaseIssue is related to Minimization phase

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

spec-uxIssue is influencing user experienceIssue is influencing user experience

Status: Open.

#2468 In UnitTestBot/UTBotJava;

· alisevych opened on Aug 1, 2023

Process clinit in enums concretely for Spring projects

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

Status: Draft (not ready).

UnitTestBot/UTBotJavanumber 2441

#2441 In UnitTestBot/UTBotJava;

· Damtev opened on Jul 24, 2023

Symbolic engine dies trying analyze large enum with static initializer block (e.g. HttpStatusCode)

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2439 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Jul 24, 2023

Variable objectType with Class is used but not created

comp-codegenIssue is related to code generatorIssue is related to code generator

comp-springIssue is related to Spring projects supportIssue is related to Spring projects support

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2422 In UnitTestBot/UTBotJava;

· alisevych opened on Jul 17, 2023

Identical or contradictory@utbot.executesCondition for assert in user code

comp-summariesSomething related to the method names, code comments and display names generationSomething related to the method names, code comments and display names generation

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2414 In UnitTestBot/UTBotJava;

· tyuldashev opened on Jul 13, 2023

Concrete execution error on usage of stream .toArray

comp-instrumented-processIssue is related to Instrumented processIssue is related to Instrumented process

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2413 In UnitTestBot/UTBotJava;

· tyuldashev opened on Jul 13, 2023

IllegalStateException if tested class is in org.utbot package

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

status-wont-fixThis will not be worked onThis will not be worked on

Status: Open.

#2404 In UnitTestBot/UTBotJava;

· alisevych opened on Jul 12, 2023

No validation of a Collection changing passed as input parameter

comp-codegenIssue is related to code generatorIssue is related to code generator

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2372 In UnitTestBot/UTBotJava;

· alisevych opened on Jul 6, 2023

Incorrect test with ClassCastException for a function with generics in signature

comp-springIssue is related to Spring projects supportIssue is related to Spring projects support

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2367 In UnitTestBot/UTBotJava;

· EgorkaKulikov opened on Jul 5, 2023

Do not mock Entities in Spring unit tests

comp-springIssue is related to Spring projects supportIssue is related to Spring projects support

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

Status: Open.

#2341 In UnitTestBot/UTBotJava;

· EgorkaKulikov opened on Jun 29, 2023

Bad coverage for simple example with loop

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

lang-javaIssue is related to Java supportIssue is related to Java support

Status: Open.

#2304 In UnitTestBot/UTBotJava;

· tochilinak opened on Jun 22, 2023

Slow test generation for matrix with constraints

comp-fuzzingIssue is related to the fuzzingIssue is related to the fuzzing

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

lang-javaIssue is related to Java supportIssue is related to Java support

Status: Open.

#2254 In UnitTestBot/UTBotJava;

· tochilinak opened on Jun 2, 2023

No generated test cases for string concatenation

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2241 In UnitTestBot/UTBotJava;

· mmvpm opened on May 26, 2023

UTBot Java CLI throws ExceptionInInitializerError for Recursion functions

comp-cliIssue related to CLIIssue related to CLI

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2232 In UnitTestBot/UTBotJava;

· alisevych opened on May 23, 2023

No test is generated for String.equals() in condition

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2149 In UnitTestBot/UTBotJava;

· pogrebnoijak opened on Apr 14, 2023

One branch is not covered on function with Optionals

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2092 In UnitTestBot/UTBotJava;

· EgorkaKulikov opened on Apr 4, 2023

Uncompilable tests with JDK 17 for read Files with set static field of jdk.internal.misc.VM

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2062 In UnitTestBot/UTBotJava;

· alisevych opened on Mar 28, 2023

Add a detection for narrowing transformations of primitive values

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

Status: Open.

#2030 In UnitTestBot/UTBotJava;

· CaelmBleidd opened on Mar 24, 2023

Unneeded variable creation for final Enum state

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#2020 In UnitTestBot/UTBotJava;

· alisevych opened on Mar 22, 2023

Failed requirements in cast functions

comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

ctg-bugIssue is a bugIssue is a bug

Status: Open.

#1994 In UnitTestBot/UTBotJava;

· CaelmBleidd opened on Mar 20, 2023