GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — USVM experimental integration into UnitTestBot by EgorkaKulikov · Pull Request #2732 · UnitTestBot/UTBotJava

Conversation

@EgorkaKulikov

@EgorkaKulikov EgorkaKulikov commented Dec 22, 2023

Copy link
Copy Markdown
Collaborator

No description provided.

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
All reactions
EgorkaKulikov and others added 25 commits December 22, 2023 14:19
@EgorkaKulikov
Add usvm engine option on UI
dbeaf15
@EgorkaKulikov
Sens engine type data to engine process via Rd
8c4a3ea
@EgorkaKulikov
Use appropriate engine in flow
e1e7139
@IlyaMuravjov @EgorkaKulikov
Introduce UtilMethodProviderPlaceholder (#2717)
3fc587e
@IlyaMuravjov @EgorkaKulikov
Make TestCaseGenerator use UsvmSymbolicEngine for entire class (#…
5d68839 
…2716)
@EgorkaKulikov
Initial implementation of usvm tests generation in UtBot flow
24d1003
@EgorkaKulikov
Apply some improvements
4ad8c4a
@EgorkaKulikov
Update usvm version and related updates in JcContainer
91803c2
@EgorkaKulikov
Update usvm version and related updates in ClassScorer usages
7779a3b
@EgorkaKulikov
Correct applyCommonMappings methods
44f0c2a
@EgorkaKulikov
Several UI corrections
ce16821
@EgorkaKulikov
Fix JcContainer caching
3b3ab15
@EgorkaKulikov
Apply discussion fixes.
3a0da82
@EgorkaKulikov
Fix enablement of useExperimentalEngine
cf23242
@tepa46 @EgorkaKulikov
Refactoring
0108b05
@tepa46 @EgorkaKulikov
Add assemble models in USVM symbolic engine
06529ea
@tepa46 @EgorkaKulikov
Update utResult value
aba7c4f
@EgorkaKulikov
Resrtore Python IDE
fe1cee7
@EgorkaKulikov
Do not initialize Jc-flow if timeout = 0
351c10d
@IlyaMuravjov @EgorkaKulikov
Fix modificationsChain mapping when removing `UtilMethodProviderPla…
aa84d2a 
…ceholder`
@IlyaMuravjov @EgorkaKulikov
Make UtSymbolicExecution.copy method also copy containsMocking field
fd47bc7
@IlyaMuravjov @EgorkaKulikov
Set zip64 = true in :utbot-cli:jar Gradle task
e30f887
@IlyaMuravjov @EgorkaKulikov
Revert redundant refactoring
c8fc4a5
@IlyaMuravjov @EgorkaKulikov
Use same memoryScope to resolve uTest and symbolicResult.
c89b3b2
@IlyaMuravjov @EgorkaKulikov
Preserve identity when mapping MissingState
8831369
@EgorkaKulikov
EgorkaKulikov force-pushed the egor/dec_release_attempt branch from 520c288 to 8831369 Compare December 22, 2023 11:20
@IlyaMuravjov
Set zip64 = true in :utbot-cli-go:jar, :utbot-cli-js:jar, `:utb…
392d784 
…ot-cli-python:jar` Gradle tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

3 participants

@EgorkaKulikov @IlyaMuravjov @tepa46
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.