Repository navigation

USVM to UtBot adapters without contest hacks - #2710

Merged

EgorkaKulikov merged 123 commits into

mainfrom

usvm

Dec 8, 2023

Commits on Nov 1, 2023
- Introduce `Tool.USVM` in `ContestEstimator`, implement `runUsvmGeneration` (#2666)
  
  IlyaMuravjov
  authored and
  EgorkaKulikov
  committed
  fc570ea
Commits on Nov 3, 2023
- Bump ksmt version to `0.5.13`
  IlyaMuravjov
  committed
  79cf54b
Commits on Nov 7, 2023
- Hacks similar to contest 2023 ones (#2676)
  EgorkaKulikov
  authored
  d5cdd8a
Commits on Nov 9, 2023
- Initial implementations of the adapter from JcExecution to UtExecution (#2677)
  
  EgorkaKulikov
  and
  IlyaMuravjov
  authored
  092a27a
Commits on Nov 10, 2023
- Supporting arrays classId in Contests (#2680)
  EgorkaKulikov
  authored
  31dd74d
- Very simple UtAssembleModel improver (#2678)
  
  EgorkaKulikov
  and
  IlyaMuravjov
  authored
  b2cb044
Commits on Nov 13, 2023
- Fix class name argument in the setField method (#2681)
  tepa46
  authored
  3400a96
- Fix test generation for nested classes (#2684)
  IlyaMuravjov
  authored
  a11c3e9
- Improver `UTestRunner` initialization and shutdown (#2683)
  IlyaMuravjov
  authored
  2788630
- Add summarization for usvm-sbft (#2682)
  tepa46
  authored
  62aa5b0
- Use usvm samples instead of UtBot ones (#2685)
  EgorkaKulikov
  authored
  0a9003d
- Fix fieldId creation for UtCompositeModel (#2686)
  tepa46
  authored
  b40f0f3
- A tempopary hack for void TypeName processing
  EgorkaKulikov
  committed
  629983c
Commits on Nov 14, 2023
- A proper solution for void TypeName processing
  EgorkaKulikov
  committed
  1d974f7
- Add all arrays as test classes for converters
  EgorkaKulikov
  committed
  2b6ff89
Commits on Nov 15, 2023
- Add samples from types
  EgorkaKulikov
  committed
  5b0e8dd
- Add samples from ternary
  EgorkaKulikov
  committed
  f38dae0
- Add processing of usvmExistingButNullString (#2689)
  tepa46
  authored
  3080413
- Fix classloader problem and correct class lists (exclude missing classes & classes compiled with Java 17)
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  26d9901
- Include usvm via GitHub packages (#2687)
  IlyaMuravjov
  authored
  8904585
- Upgrade usvm version
  EgorkaKulikov
  committed
  9869eb0
- Add invokes into samples
  EgorkaKulikov
  committed
  1362ac7
Commits on Nov 16, 2023
- Add several new classes to samples - Yuri said that it is enough
  EgorkaKulikov
  committed
  c365a7a
- Fix enum converter and add sample from enums
  tepa46
  committed
  7429dc9
- Remove non-relevant TODO
  EgorkaKulikov
  committed
  9bb144a
Commits on Nov 18, 2023
Commits on Nov 20, 2023
- Remove non-relevant TODO
  EgorkaKulikov
  committed
  b74f3c8
- Use jacodb with `classpathWithApproximations`
  IlyaMuravjov
  committed
  5429647
- Reduce concrete execution timeout to 1 second
  IlyaMuravjov
  committed
  96993d9
- Remove redundant TODO
  IlyaMuravjov
  committed
  e8a30d7
- Replace generics with bounds when converting to ut models
  IlyaMuravjov
  committed
  ab0a529
- Correct JacoDb classpath
  EgorkaKulikov
  committed
  75cd001
- Correct JacoDb classpath
  EgorkaKulikov
  committed
  eaf85e9
- Update jacodb (#2694)
  Damtev
  authored
  273335e
Commits on Nov 21, 2023
- Update approximations version
  EgorkaKulikov
  committed
  22e577b
- Update usvm version
  EgorkaKulikov
  committed
  9bbb24c
- Make JcMachine's budget distributing strategy and refactor (#2695)
  IlyaMuravjov
  authored
  623a94f
Commits on Nov 22, 2023
Commits on Nov 23, 2023
- Update gradle script to run tests properly
  EgorkaKulikov
  committed
  5d3ad21
- Update usvm version
  EgorkaKulikov
  committed
  208aad4
- Remove strange hack to discuss later
  EgorkaKulikov
  committed
  e0f7080
- Add support for correct generation of inner tests
  tepa46
  committed
  272ebbe
- Update usvm version
  EgorkaKulikov
  committed
  0a3db6a
Commits on Nov 24, 2023
- Avoid set fields not present in `UTest` (for `UtCompositeModel`) (#2698)
  IlyaMuravjov
  authored
  0eaf9ac
- Use classpathWithApproximations
  EgorkaKulikov
  committed
  ac667bb
- Fix bug in `assertEquals` for `String` in codegen
  IlyaMuravjov
  committed
  405444f
- Add timeout execution conversion
  IlyaMuravjov
  committed
  4362bd2
- Improve logging time spent on concrete and conversion
  IlyaMuravjov
  committed
  a365f4e
- Make logger group repeated exceptions (e.g. "(x100) message")
  IlyaMuravjov
  committed
  d7134b7
- Better log `JcType.classId` fails
  IlyaMuravjov
  committed
  f523512
- Add notice about `usvmVersion` being outdated
  IlyaMuravjov
  committed
  5c82e57
- Actualise `JcTestExecutor`
  IlyaMuravjov
  committed
  d25e3bb
Commits on Nov 25, 2023
- Update usvm version
  EgorkaKulikov
  committed
  a751085
Commits on Nov 27, 2023
- Fix invalid `UTestCyclicReferenceDescriptor`
  IlyaMuravjov
  committed
  dd5176f
- Automatically remove uncompilable test methods (#2699)
  IlyaMuravjov
  authored
  1cc84fd
- Update path selector strategy
  EgorkaKulikov
  committed
  7f1c3a8
Commits on Nov 28, 2023
- Add a copy of https://github.com/UnitTestBot/UTBotJava/pull/2627 into competitions branch
  EgorkaKulikov
  committed
  7b58a17
- Update approximations version
  EgorkaKulikov
  committed
  9eadf92
- Use symbolic result instead of concrete if it is better (#2700)
  EgorkaKulikov
  authored
  9f4af0b
- Avoid class initialization when we evaluate ClassId
  EgorkaKulikov
  committed
  62f25ad
- Revert "Avoid class initialization when we evaluate ClassId"
  EgorkaKulikov
  committed
  2d09b02
- Avoid class initialization when we evaluate ClassId
  EgorkaKulikov
  committed
  bae5664
- Create mocks in output values (#2701)
  IlyaMuravjov
  authored
  dff5430
- Update versions
  EgorkaKulikov
  committed
  e1c9d2a
- Update usvm version
  EgorkaKulikov
  committed
  329eb6f
Commits on Nov 29, 2023
Commits on Nov 30, 2023
- Usvm competitions 2024: jacodb persistence (#2703)
  Saloed
  authored
  64b1e18
- Usvm distribution for the contest (#2704)
  Saloed
  authored
  5b46171
- Add types sorting
  sergeypospelov
  committed
  c7ff5cd
- Drop crashed executions (#2705)
  Damtev
  authored
  08234e2
- Fix classpath (#2706)
  Saloed
  authored
  c8665bc
Commits on Dec 1, 2023
- Avoid `<clinit>` call in `JcField.fieldId`
  IlyaMuravjov
  committed
  2086f5b
- Add timeout for all test with exceptions
  IlyaMuravjov
  committed
  2933a0c
- Removed Soot initialization (#2707)
  Damtev
  authored
  69c273f
- Update usvm version
  EgorkaKulikov
  committed
  84d9325
- Remove irrelevant require
  EgorkaKulikov
  committed
  693c54f
- Initialize JacoDB and stat executor before starting contest, stop caching machine (#2708)
  IlyaMuravjov
  authored
  acc2473
- Updated usvm version
  Damtev
  committed
  5503f43
Commits on Dec 6, 2023
- Add `maxUnknownCoverageExecutionsPerMethodPerResultType` to `settings.properties`
  IlyaMuravjov
  committed
  2a8f639
- Update Z3 native files paths to work with ksmt 0.5.13
  IlyaMuravjov
  committed
  648fccc
- Update RD in all projects
  IlyaMuravjov
  committed
  488e80e
- Update Run IDEA task to use :utbot-intellij-main
  IlyaMuravjov
  committed
  f4458bb
- Complete most `usvm-sbft-merge` TODOs
  IlyaMuravjov
  committed
  f76c6fe
- Uncomment `include`s for `intellij` projects in `settings.gradle.kts`
  IlyaMuravjov
  committed
  515ce1b
- Add `addTestMethodMarkers` ut setting
  IlyaMuravjov
  committed
  87e8384
- Revert contest hacks
  IlyaMuravjov
  committed
  d18ff85
- Make contest use `Tool.UtBot` by default
  IlyaMuravjov
  committed
  aa86d55
Commits on Dec 7, 2023
- Update tool settings for summary
  tepa46
  committed
  79d5daa
- Update gradle properties in yml scripts
  EgorkaKulikov
  committed
  d14032a
- Temporary creds
  EgorkaKulikov
  committed
  6bdd3c9
- Revert temporary creds
  EgorkaKulikov
  committed
  9689766
- Some todos in TestFrameworkManager
  EgorkaKulikov
  committed
  6226fbb
- bissquit: configure debug env
  Egor Vasiliev 00665613
  committed
  17dc5d9
- Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into usvm
  Egor Vasiliev 00665613
  committed
  806127d
- add pers token
  Egor Vasiliev 00665613
  committed
  2b88b44
- add secret
  Egor Vasiliev 00665613
  committed
  e7b912a
- add token to all gradle runs
  Egor Vasiliev 00665613
  committed
  e97e076
- replace ro_token by github_token
  Egor Vasiliev 00665613
  committed
  844554d
- add permissions
  Egor Vasiliev 00665613
  committed
  9f70211
- change to write permissions
  Egor Vasiliev 00665613
  committed
  3c45e8c
- return PACKAGES_RO_TOKEN var
  Egor Vasiliev 00665613
  committed
  6f9a8b2
- remove debug
  Egor Vasiliev 00665613
  committed
  fce45b3
- Further update of yml scripts
  EgorkaKulikov
  committed
  5f9403b
- Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into usvm
  EgorkaKulikov
  committed
  e5d3549
Commits on Dec 8, 2023
- Correct usvm version to fix compilation
  EgorkaKulikov
  committed
  fe8a753
- Disable four tests
  EgorkaKulikov
  committed
  e896a30

Commits

Commits on Nov 1, 2023

Commits on Nov 3, 2023

Commits on Nov 7, 2023

Commits on Nov 9, 2023

Commits on Nov 10, 2023

Commits on Nov 13, 2023

Commits on Nov 14, 2023

Commits on Nov 15, 2023

Commits on Nov 16, 2023

Commits on Nov 18, 2023

Commits on Nov 20, 2023

Commits on Nov 21, 2023

Commits on Nov 22, 2023

Commits on Nov 23, 2023

Commits on Nov 24, 2023

Commits on Nov 25, 2023

Commits on Nov 27, 2023

Commits on Nov 28, 2023

Commits on Nov 29, 2023

Commits on Nov 30, 2023

Commits on Dec 1, 2023

Commits on Dec 6, 2023

Commits on Dec 7, 2023

Commits on Dec 8, 2023