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.

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

Сonstraint model synthesis #1030

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

Commits on Sep 28, 2022

  1. Configuration menu
    Copy the full SHA
    1175678 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d69ebc4 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2022

  1. resolver fix

    AbdullinAM committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    8d68488 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c6cac8d View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2022

  1. Configuration menu
    Copy the full SHA
    df75f26 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2022

  1. Primitive Stream wrappers (no laziness and source mutations support) (U…

    …nitTestBot#871)
    
    * Fixed repeated `hashCode` calculation for `Edge`
    
    * Added `toArray` without ClassCastException check API
    
    * Fixed UNSAT core debug logging
    Damtev authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    e10a50e View commit details
    Browse the repository at this point in the history
  2. Avoid summary duplication UnitTestBot#985 (UnitTestBot#1015)

    * Avoid summary duplication UnitTestBot#985
    
    * Fix rendering for 2022.1.4
    onewhl authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    80da28b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    608d56c View commit details
    Browse the repository at this point in the history
  4. Reordered the test clusters (UnitTestBot#991)

    * Reordered the test clusters
    
    * Renamed clusters
    
    * Fixed tests
    
    * Fixed tests
    
    Co-authored-by: Zarina Kurbatova <[email protected]>
    2 people authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    1f59106 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f96c118 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    40bf31b View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    3380506 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    234ace0 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    1a0289d View commit details
    Browse the repository at this point in the history
  10. Render links in the invokes part of JavaDocs (UnitTestBot#1051)

    Render links in invokes part of JavaDocs
    onewhl authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    7b417c9 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    0cedf7a View commit details
    Browse the repository at this point in the history
  12. IndexNotReadyException thrown in IDEA with installed UnitTestBot plug… (

    UnitTestBot#1047)
    
    IndexNotReadyException thrown in IDEA with installed UnitTestBot plugin UnitTestBot#273
    
    1) Add dumb mode wrapping
    2) Split long EDT consumers into chains-of-invokeLater
    3) Disable IntentionHelper for a while (it causes tricky exceptions and hanging)
    Vassiliy-Kudryashov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    4293d4f View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    a5d628c View commit details
    Browse the repository at this point in the history
  14. Modificators processing in AssembleModelGenerator and UtBotFieldModif…

    …icatorsSearcher corrected (UnitTestBot#1029)
    
    * Improve modificators analysis in UtBotFieldModificatorsSearcher and AssembleModelGenerator
    
    * Apply review comments
    
    * Fixed test
    
    * One more correction for package names
    EgorkaKulikov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    ba08cb7 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    ae5b883 View commit details
    Browse the repository at this point in the history
  16. Try to fix memory leak in CgComponents (UnitTestBot#1057)

    * Try to fix memory leak in CgFieldStateManager
    
    * Removed unused testClassConstructors
    
    * Make CgContext much more thin
    
    * Clear content related maps before the processing of new test class
    EgorkaKulikov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    b6d8a65 View commit details
    Browse the repository at this point in the history
  17. Repeating SourceFolder fix (UnitTestBot#1073)

    In case of repeating SourceFolders action would not be shown.
    From now it takes first SourceFolder with the same virtual file source
    root
    Domonion authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    77194a3 View commit details
    Browse the repository at this point in the history
  18. Include information about triggered recursion to Javadocs (UnitTestBo…

    …t#1084)
    
    Include information about triggered recursion to javadocs
    onewhl authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    0ff62da View commit details
    Browse the repository at this point in the history
  19. Fix rendering for different IDE versions (UnitTestBot#1087)

    * Fix rendering for different IDE versions
    
    * add info about IDE version for each case
    onewhl authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    e5d8b5f View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    8016349 View commit details
    Browse the repository at this point in the history
  21. Engine process UnitTestBot#2 (UnitTestBot#1067)

    [utbot-rd]
    1. engine out-of-process
    2. removed jdk8+ api calls in engine-related code
    3. removed reflection in utbot-intellij to support idea 2022
    4. bumped idea version and plugin sdk
    5. reactive settings
    6. ClientProcessBuilder to support out-of-process
    7. moved sarifs, test generation, code generation and TestGenerationReport to another process
    Domonion authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    f55c96d View commit details
    Browse the repository at this point in the history
  22. Configuration menu
    Copy the full SHA
    f3af058 View commit details
    Browse the repository at this point in the history
  23. Configuration menu
    Copy the full SHA
    e298169 View commit details
    Browse the repository at this point in the history
  24. Configuration menu
    Copy the full SHA
    5a690b9 View commit details
    Browse the repository at this point in the history
  25. Improve verification that static mocking is configured (UnitTestBot#1091

    )
    
    * Improve verification that static mocking is configured
    
    * Wrap file reading with try/catch
    EgorkaKulikov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    cd3dcd1 View commit details
    Browse the repository at this point in the history
  26. Fix assertions (UnitTestBot#1096)

    SBOne-Kenobi authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    b067af9 View commit details
    Browse the repository at this point in the history
  27. Configuration menu
    Copy the full SHA
    43efb96 View commit details
    Browse the repository at this point in the history
  28. Vassiliy kudryashov/1021 plugin support idea 20222 new (UnitTestBot#1094

    )
    
    Setup 222 versions for IntelliJ and plugins
    Fix wrong import
    Add try/catch temporary wrapping to obtain stacktrace
    Update soot version (commit hash)
    Get rid of commented lines, better logging added
    Vassiliy-Kudryashov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    bf272b6 View commit details
    Browse the repository at this point in the history
  29. Wrap method reference into @link tag only if the invoked method is no…

    …t private (UnitTestBot#1106)
    
    * Wrap method reference into @link tag only if the invoked method is not private
    
    * Fix tests
    onewhl authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    fc61391 View commit details
    Browse the repository at this point in the history
  30. Notify and reason to the user that UtBot can't be run on the class in…

    … editor (UnitTestBot#1105)
    
    * Notify and reason to the user that UtBot can't be run on the edited class
    
    * Improve previous implementation
    EgorkaKulikov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    4ce788d View commit details
    Browse the repository at this point in the history
  31. Configuration menu
    Copy the full SHA
    0abc48b View commit details
    Browse the repository at this point in the history
  32. Configuration menu
    Copy the full SHA
    a215477 View commit details
    Browse the repository at this point in the history
  33. Configuration menu
    Copy the full SHA
    8280807 View commit details
    Browse the repository at this point in the history
  34. Out of process bug fixes (UnitTestBot#1109)

    1. added ability to set log level for EngineProcess and ChildProcess.kt. Look for related UtSettings.engineProcessLogLevel and UtSettings.childProcessLogLevels
    2. opening additional packages to support jdk17+, see OpenModulesContainer
    3. fixed using javaw on unix environments
    4. fixed using readaction in dumb mode
    Domonion authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    8fb3938 View commit details
    Browse the repository at this point in the history
  35. Configuration menu
    Copy the full SHA
    5fb1e16 View commit details
    Browse the repository at this point in the history
  36. Lessen thisInstance creation in parameterized test generation (UnitTe…

    …stBot#1065)
    
    * Lessen thisInstance creation in parameterized test generation
    
    * Avoid incorrect configuration
    
    Co-authored-by: Egor Kulikov <[email protected]>
    2 people authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    ad150ba View commit details
    Browse the repository at this point in the history
  37. Fix settings persistence: we save IDs, thus we should parse IDs inste… (

    UnitTestBot#1116)
    
    Fix settings persistence: we save IDs, thus we should parse IDs instead of display names
    Vassiliy-Kudryashov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    2f03687 View commit details
    Browse the repository at this point in the history
  38. Support Android Studio in utbot-intellij (UnitTestBot#1121)

    * Enable android support in kts
    
    * Get rid of AS. Use the path only
    
    * Better naming
    
    * Corrected comment
    
    * Commented Android Studio for other users
    
    Co-authored-by: Denis Fokin <[email protected]>
    2 people authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    15bdfa8 View commit details
    Browse the repository at this point in the history
  39. Configuration menu
    Copy the full SHA
    166b393 View commit details
    Browse the repository at this point in the history
  40. Configuration menu
    Copy the full SHA
    c7618bb View commit details
    Browse the repository at this point in the history
  41. Configuration menu
    Copy the full SHA
    5479449 View commit details
    Browse the repository at this point in the history
  42. Linux engine process fix (UnitTestBot#1126)

    [utbot-rd]
    fixing ubuntu process start and log creating
    Domonion authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    06c548e View commit details
    Browse the repository at this point in the history
  43. Android Studio troubleshooting related to Lombok improved (UnitTestBo…

    …t#1131)
    
    Android Studio troubleshooting related to Lombok improved.
    EgorkaKulikov authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    7e71d75 View commit details
    Browse the repository at this point in the history
  44. Configuration menu
    Copy the full SHA
    1a18c53 View commit details
    Browse the repository at this point in the history
  45. Add parameterized test generation in CI (UnitTestBot#1114)

    * Add parameterized test generation in ci
    
    * Little style corrections
    
    * Move *containsMocking* flag to UtSymbolicExecution
    
    Co-authored-by: Egor Kulikov <[email protected]>
    2 people authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    d1bea97 View commit details
    Browse the repository at this point in the history
  46. Configuration menu
    Copy the full SHA
    5181cef View commit details
    Browse the repository at this point in the history
  47. Added simple custom JavaDocs for the tests produced by Fuzzer (UnitTe…

    …stBot#1069)
    
    * Added an initial solution
    
    * Added a method and class references
    
    * Refactor to avoid bugs with private methods
    
    * Handled empty values
    
    * Fixed tests and add a TODO ticket
    
    * Fixed review comments
    amandelpie authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    4706d1b View commit details
    Browse the repository at this point in the history
  48. Configuration menu
    Copy the full SHA
    d36b988 View commit details
    Browse the repository at this point in the history
  49. Field assertions fixes (UnitTestBot#920)

    * Used real variable type after field access with reflection if possible
    
    * Added missing line separator after single-line block comment
    
    * Added missed initial field states for arrays
    
    * Removed field state assertions for failing tests
    Damtev authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    a55999d View commit details
    Browse the repository at this point in the history
  50. Fix dump mode fail (UnitTestBot#1146)

    * [utbot-rd]
    more logs, dump mode fixes
    
    * Pathseparator fix, removed useless scheduler
    Domonion authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    529c10d View commit details
    Browse the repository at this point in the history
  51. Configuration menu
    Copy the full SHA
    4470ea8 View commit details
    Browse the repository at this point in the history
  52. Configuration menu
    Copy the full SHA
    d4cb666 View commit details
    Browse the repository at this point in the history
  53. Fixing long summarization timeouts & mics (UnitTestBot#1151)

    * [utbot-rd]
    fixing long delays in summarization, fixing sarif reports resource root creation, fixing kryo serialization error, fixing idea thread relating problems
    
    * [utbot-rd]
    compilation fix
    Domonion authored and AbdullinAM committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    cad8133 View commit details
    Browse the repository at this point in the history
  54. Configuration menu
    Copy the full SHA
    724b794 View commit details
    Browse the repository at this point in the history