Skip to content

USVM experimental integration into UnitTestBot #2732

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
EgorkaKulikov wants to merge 26 commits into
base: main
Choose a base branch
from
Open

USVM experimental integration into UnitTestBot #2732

Changes from 1 commit
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
dbeaf15
Add usvm engine option on UI
EgorkaKulikov Dec 11, 2023
8c4a3ea
Sens engine type data to engine process via Rd
EgorkaKulikov Dec 11, 2023
e1e7139
Use appropriate engine in flow
EgorkaKulikov Dec 11, 2023
3fc587e
Introduce `UtilMethodProviderPlaceholder` (#2717)
IlyaMuravjov Dec 13, 2023
5d68839
Make `TestCaseGenerator` use `UsvmSymbolicEngine` for entire class (#…
IlyaMuravjov Dec 13, 2023
24d1003
Initial implementation of usvm tests generation in UtBot flow
EgorkaKulikov Dec 18, 2023
4ad8c4a
Apply some improvements
EgorkaKulikov Dec 19, 2023
91803c2
Update usvm version and related updates in JcContainer
EgorkaKulikov Dec 19, 2023
7779a3b
Update usvm version and related updates in ClassScorer usages
EgorkaKulikov Dec 20, 2023
44f0c2a
Correct applyCommonMappings methods
EgorkaKulikov Dec 20, 2023
ce16821
Several UI corrections
EgorkaKulikov Dec 20, 2023
3b3ab15
Fix JcContainer caching
EgorkaKulikov Dec 20, 2023
3a0da82
Apply discussion fixes.
EgorkaKulikov Dec 21, 2023
cf23242
Fix enablement of useExperimentalEngine
EgorkaKulikov Dec 21, 2023
0108b05
Refactoring
tepa46 Dec 21, 2023
06529ea
Add assemble models in USVM symbolic engine
tepa46 Dec 21, 2023
aba7c4f
Update utResult value
tepa46 Dec 21, 2023
fe1cee7
Resrtore Python IDE
EgorkaKulikov Dec 22, 2023
351c10d
Do not initialize Jc-flow if timeout = 0
EgorkaKulikov Dec 22, 2023
aa84d2a
Fix `modificationsChain` mapping when removing `UtilMethodProviderPla…
IlyaMuravjov Dec 22, 2023
fd47bc7
Make `UtSymbolicExecution.copy` method also copy `containsMocking` field
IlyaMuravjov Dec 22, 2023
e30f887
Set `zip64 = true` in `:utbot-cli:jar` Gradle task
IlyaMuravjov Dec 22, 2023
c8fc4a5
Revert redundant refactoring
IlyaMuravjov Dec 22, 2023
c89b3b2
Use same `memoryScope` to resolve `uTest` and `symbolicResult`.
IlyaMuravjov Dec 22, 2023
8831369
Preserve identity when mapping `MissingState`
IlyaMuravjov Dec 22, 2023
392d784
Set `zip64 = true` in `:utbot-cli-go:jar`, `:utbot-cli-js:jar`, `:utb…
IlyaMuravjov Dec 22, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Resrtore Python IDE
  • Loading branch information
@EgorkaKulikov
EgorkaKulikov committed Dec 22, 2023
commit fe1cee7431f92d67e3d4d787b72c5848db4f7556
2 changes: 1 addition & 1 deletion gradle.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ buildType=NOJS

# IDE types that supports appropriate language
javaIde=IC,IU
pythonIde=PC,PY
pythonIde=IC,IU,PC,PY
jsIde=IU,PY
jsBuild=ALL
goIde=IU,GO
Expand Down