Skip to content
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

Jump to bottom

USVM experimental integration into UnitTestBot #2732

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

USVM experimental integration into UnitTestBot #2732

wants to merge 26 commits into from

Commits on Dec 22, 2023

  1. Add usvm engine option on UI

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    dbeaf15 View commit details
    Browse the repository at this point in the history

  2. Sens engine type data to engine process via Rd

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    8c4a3ea View commit details
    Browse the repository at this point in the history

  3. Use appropriate engine in flow

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    e1e7139 View commit details
    Browse the repository at this point in the history

  4. Introduce UtilMethodProviderPlaceholder (#2717)

    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    3fc587e View commit details
    Browse the repository at this point in the history

  5. Make TestCaseGenerator use UsvmSymbolicEngine for entire class (#… 

    …2716)
    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    5d68839 View commit details
    Browse the repository at this point in the history

  6. Initial implementation of usvm tests generation in UtBot flow

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    24d1003 View commit details
    Browse the repository at this point in the history

  7. Apply some improvements

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    4ad8c4a View commit details
    Browse the repository at this point in the history

  8. Update usvm version and related updates in JcContainer

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    91803c2 View commit details
    Browse the repository at this point in the history

  9. Update usvm version and related updates in ClassScorer usages

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    7779a3b View commit details
    Browse the repository at this point in the history

  10. Correct applyCommonMappings methods

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    44f0c2a View commit details
    Browse the repository at this point in the history

  11. Several UI corrections

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    ce16821 View commit details
    Browse the repository at this point in the history

  12. Fix JcContainer caching

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    3b3ab15 View commit details
    Browse the repository at this point in the history

  13. Apply discussion fixes.

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    3a0da82 View commit details
    Browse the repository at this point in the history

  14. Fix enablement of useExperimentalEngine

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    cf23242 View commit details
    Browse the repository at this point in the history

  15. Refactoring

    @tepa46 @EgorkaKulikov
    tepa46 authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    0108b05 View commit details
    Browse the repository at this point in the history

  16. Add assemble models in USVM symbolic engine

    @tepa46 @EgorkaKulikov
    tepa46 authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    06529ea View commit details
    Browse the repository at this point in the history

  17. Update utResult value

    @tepa46 @EgorkaKulikov
    tepa46 authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    aba7c4f View commit details
    Browse the repository at this point in the history

  18. Resrtore Python IDE

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    fe1cee7 View commit details
    Browse the repository at this point in the history

  19. Do not initialize Jc-flow if timeout = 0

    @EgorkaKulikov
    EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    351c10d View commit details
    Browse the repository at this point in the history

  20. Fix modificationsChain mapping when removing `UtilMethodProviderPla… 

    …ceholder`
    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    aa84d2a View commit details
    Browse the repository at this point in the history

  21. Make UtSymbolicExecution.copy method also copy containsMocking field

    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    fd47bc7 View commit details
    Browse the repository at this point in the history

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

    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    e30f887 View commit details
    Browse the repository at this point in the history

  23. Revert redundant refactoring

    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    c8fc4a5 View commit details
    Browse the repository at this point in the history

  24. Use same memoryScope to resolve uTest and symbolicResult.

    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    c89b3b2 View commit details
    Browse the repository at this point in the history

  25. Preserve identity when mapping MissingState

    @IlyaMuravjov @EgorkaKulikov
    IlyaMuravjov authored and EgorkaKulikov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    8831369 View commit details
    Browse the repository at this point in the history

  26. Set zip64 = true in :utbot-cli-go:jar, :utbot-cli-js:jar, `:utb… 

    …ot-cli-python:jar` Gradle tasks
    @IlyaMuravjov
    IlyaMuravjov committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    392d784 View commit details
    Browse the repository at this point in the history