Search results

Add USVM jars to <code>resources/lib</code>

comp-infrastructureInfrastructure issuesInfrastructure issues

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2719

#2719 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Dec 14, 2023

Introduce <code>UtilMethodProviderPlaceholder</code>

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 2717

#2717 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Dec 13, 2023

Make <code>TestCaseGenerator</code> use <code>UsvmSymbolicEngine</code> for entire class

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: Merged (completed).

UnitTestBot/UTBotJavanumber 2716

#2716 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Dec 13, 2023

USVM to UtBot adapters without contest hacks

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

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

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2710

#2710 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Dec 8, 2023

Initialize JacoDB and stat executor before starting contest, stop caching machine

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2708

#2708 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Dec 1, 2023

Create mocks in output values

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2701

#2701 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 28, 2023

Automatically remove uncompilable test methods

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2699

#2699 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 27, 2023

Avoid set fields not present in <code>UTest</code> (for <code>UtCompositeModel</code>)

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2698

#2698 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 24, 2023

Make USVM descriptor to UtModel cache consider state kind (initial or final)

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2697

#2697 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 22, 2023

Introduce and use <code>JcMachine.analyzeAsync</code> in <code>ContestUsvm</code>

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2696

#2696 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 22, 2023

Make JcMachine's budget distributing strategy and refactor

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2695

#2695 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 21, 2023

Improve <code>UTestValueDescriptor</code> to <code>UtModel</code> conversion and state change asserts generation

Status: Merged (completed).

UnitTestBot/UTBotJavanumber 2691

#2691 In UnitTestBot/UTBotJava;

· by IlyaMuravjov was closed on Nov 18, 2023