Search results

Added missing dependency of the <code>seata-core-0.5.0</code> project

Status: Closed (abandoned).

UnitTestBot/UTBotJavanumber 2723

#2723 In UnitTestBot/UTBotJava;

· by Damtev was closed on Dec 19, 2023

Removed Soot initialization

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2707

#2707 In UnitTestBot/UTBotJava;

· by Damtev was closed on Dec 1, 2023

Drop crashed executions

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2705

#2705 In UnitTestBot/UTBotJava;

· by Damtev was closed on Nov 30, 2023

Hack for Random mocks

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2702

#2702 In UnitTestBot/UTBotJava;

· by Damtev was closed on Nov 29, 2023

Update jacodb

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2694

#2694 In UnitTestBot/UTBotJava;

· by Damtev was closed on Nov 20, 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

Fixed mocking fields in another classes in concrete execution

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

ctg-bug-fixPR is fixing a bugPR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2106

#2106 In UnitTestBot/UTBotJava;

· by Damtev was closed on Apr 7, 2023

Added a test with a path diversion because of jdk statics

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

ctg-questionFurther information is requestedFurther information is requested

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2067

#2067 In UnitTestBot/UTBotJava;

· by Damtev was closed on Mar 29, 2023

Use unique mocking statement if all cases are equal

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

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2002

#2002 In UnitTestBot/UTBotJava;

· by Damtev was closed on Mar 22, 2023

Removed redundant switch-case in mocks in case of only one branch

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

ctg-bug-fixPR is fixing a bugPR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 1954

#1954 In UnitTestBot/UTBotJava;

· by Damtev was closed on Mar 15, 2023

 ·  

2023.3 Release

Use deep equality for mock results

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

ctg-bug-fixPR is fixing a bugPR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 1885

#1885 In UnitTestBot/UTBotJava;

· by Damtev was closed on Mar 3, 2023

 ·  

2023.3 Release

Removed unnecessary mock counter and switch during constructors mocking

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

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 1880

#1880 In UnitTestBot/UTBotJava;

· by Damtev was closed on Mar 3, 2023

 ·  

2023.3 Release