USVM experimental integration into UnitTestBot#2732

Open

EgorkaKulikov wants to merge 26 commits intomainfrom egor/dec_release_attempt

+848-246

Commits on Dec 22, 2023

Add usvm engine option on UI
EgorkaKulikov
committed
Sens engine type data to engine process via Rd
EgorkaKulikov
committed
Use appropriate engine in flow
EgorkaKulikov
committed
Introduce UtilMethodProviderPlaceholder (#2717 )

IlyaMuravjov
authored and
EgorkaKulikov
committed
Make TestCaseGenerator use UsvmSymbolicEngine for entire class (#2716 )

IlyaMuravjov
authored and
EgorkaKulikov
committed
Initial implementation of usvm tests generation in UtBot flow
EgorkaKulikov
committed
Apply some improvements
EgorkaKulikov
committed
Update usvm version and related updates in JcContainer
EgorkaKulikov
committed
Update usvm version and related updates in ClassScorer usages
EgorkaKulikov
committed
Correct applyCommonMappings methods
EgorkaKulikov
committed
Several UI corrections
EgorkaKulikov
committed
Fix JcContainer caching
EgorkaKulikov
committed
Apply discussion fixes.
EgorkaKulikov
committed
Fix enablement of useExperimentalEngine
EgorkaKulikov
committed
Refactoring

tepa46
authored and
EgorkaKulikov
committed
Add assemble models in USVM symbolic engine

tepa46
authored and
EgorkaKulikov
committed
Update utResult value

tepa46
authored and
EgorkaKulikov
committed
Resrtore Python IDE
EgorkaKulikov
committed
Do not initialize Jc-flow if timeout = 0
EgorkaKulikov
committed
Fix modificationsChain mapping when removing UtilMethodProviderPlaceholder

IlyaMuravjov
authored and
EgorkaKulikov
committed
Make UtSymbolicExecution.copy method also copy containsMocking field

IlyaMuravjov
authored and
EgorkaKulikov
committed
Set zip64 = true in :utbot-cli:jar Gradle task

IlyaMuravjov
authored and
EgorkaKulikov
committed
Revert redundant refactoring

IlyaMuravjov
authored and
EgorkaKulikov
committed
Use same memoryScope to resolve uTest and symbolicResult.

IlyaMuravjov
authored and
EgorkaKulikov
committed
Preserve identity when mapping MissingState

IlyaMuravjov
authored and
EgorkaKulikov
committed
Set zip64 = true in :utbot-cli-go:jar, :utbot-cli-js:jar, :utbot-cli-python:jar Gradle tasks
IlyaMuravjov
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

USVM experimental integration into UnitTestBot#2732

Commits on Dec 22, 2023

Add usvm engine option on UI

Sens engine type data to engine process via Rd

Use appropriate engine in flow

Introduce `UtilMethodProviderPlaceholder` (#2717 )

Make `TestCaseGenerator` use `UsvmSymbolicEngine` for entire class (#2716 )

Initial implementation of usvm tests generation in UtBot flow

Apply some improvements

Update usvm version and related updates in JcContainer

Update usvm version and related updates in ClassScorer usages

Correct applyCommonMappings methods

Several UI corrections

Fix JcContainer caching

Apply discussion fixes.

Fix enablement of useExperimentalEngine

Refactoring

Add assemble models in USVM symbolic engine

Update utResult value

Resrtore Python IDE

Do not initialize Jc-flow if timeout = 0

Fix `modificationsChain` mapping when removing `UtilMethodProviderPlaceholder`

Make `UtSymbolicExecution.copy` method also copy `containsMocking` field

Set `zip64 = true` in `:utbot-cli:jar` Gradle task

Revert redundant refactoring

Use same `memoryScope` to resolve `uTest` and `symbolicResult`.

Preserve identity when mapping `MissingState`

Set `zip64 = true` in `:utbot-cli-go:jar`, `:utbot-cli-js:jar`, `:utbot-cli-python:jar` Gradle tasks