Search results

Added one more seata related jar to <code>utbot-junit-contest</code>

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2724

#2724 In UnitTestBot/UTBotJava;

· by EgorkaKulikov was closed on Dec 18, 2023

Introduce utbot-usvm module and use it in contest

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2715

#2715 In UnitTestBot/UTBotJava;

· by EgorkaKulikov was closed on Dec 13, 2023

Make UtBot working without usvm tokens

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2714

#2714 In UnitTestBot/UTBotJava;

· by EgorkaKulikov was closed on Dec 13, 2023

USVM to UtBot adapters without contest hacks

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2710

#2710 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Dec 8, 2023

Some useful changes from Contest 2023 that were missed in UnitTestBot main branch

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2675

#2675 In UnitTestBot/UTBotJava;

· by EgorkaKulikov was closed on Nov 7, 2023

Introduce <code>Tool.USVM</code> in <code>ContestEstimator</code>, implement <code>runUsvmGeneration</code>

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2666

#2666 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Oct 27, 2023

Fix summaries generation for anonymous classes

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

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

ctg-bug-fixPR is fixing a bug PR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2459

#2459 In UnitTestBot/UTBotJava;

· by Markoutte was closed on Jul 31, 2023

Fix JaCoCo for Contest Estimator

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

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

ctg-bug-fixPR is fixing a bug PR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2373

#2373 In UnitTestBot/UTBotJava;

· by Markoutte was closed on Jul 17, 2023

Introduce new single entry point for contest estimator (#1741)

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

ctg-refactoringIssue related to refactoring process Issue related to refactoring process

Status: Closed (abandoned).

UnitTestBot/UTBotJavanumber 1751

#1751 In UnitTestBot/UTBotJava;

· by Markoutte was closed on Feb 6, 2023

No suitable method found for assertArrayEquals #1274

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

ctg-bug-fixPR is fixing a bug PR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 1712

#1712 In UnitTestBot/UTBotJava;

· by Vassiliy-Kudryashov was closed on Jan 18, 2023

·

2023.3 Release

Correct asserts for fields in deepEquals

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

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

ctg-bug-fixPR is fixing a bug PR is fixing a bug

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 1696

#1696 In UnitTestBot/UTBotJava;

· by EgorkaKulikov was closed on Jan 18, 2023

·

2023.3 Release

Rebuild Contest Estimator project <code>fastjson-1.2.50</code> for JDK8

comp-contest-estimatorIssue is related to contest estimator Issue is related to contest estimator

ctg-bug-fixPR is fixing a bug PR is fixing a bug

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 1692

#1692 In UnitTestBot/UTBotJava;

· by Domonion was closed on Jan 17, 2023

·

2023.3 Release