Repository navigation

Initial implementations of the adapter from JcExecution to UtExecution - #2677

Merged

EgorkaKulikov merged 31 commits into

usvm_competitions_2024from

egor/jc_to_ut_models_converter

Nov 9, 2023

Merged

Initial implementations of the adapter from JcExecution to UtExecution#2677
EgorkaKulikov merged 31 commits into
usvm_competitions_2024from
egor/jc_to_ut_models_converter

Commits on Nov 3, 2023
- Some awful attempts
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  6d4f05c
- Initially implemented a converter of UTestInst to UtModel
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  4aa8a10
- Refactor JcToUtModelConverter basing on UTestInst2UtModel converter
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  ddcf870
- Some steps to implement JcToUtExecutionConverter
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  9532b8a
- Implement minimalistic jc to ut execution conversion, enable codegen
  IlyaMuravjov
  committed
  d79ea8b
- Some improvements
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  8e30b30
- DeepMapper for models is used
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  5935d7b
- Corrections
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  535abb0
- Some improvements to JcToUtModelConverter
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  509cb73
- Further improvements to JcToUtModelConverter
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  21bde03
- Another converter little improvement
  
  EgorkaKulikov
  authored and
  IlyaMuravjov
  committed
  6471f07
- Improve `UtExecutionFailure` creation
  IlyaMuravjov
  committed
  c14067f
Commits on Nov 5, 2023
Commits on Nov 7, 2023
- Processed forgotten call method expression
  EgorkaKulikov
  committed
  1717235
- Make conversion more class-friendly (do not fail if one method cause failure)
  EgorkaKulikov
  committed
  f2debe4
- Make it possible to use samples in ContestEstimator
  EgorkaKulikov
  committed
  c191ed3
- Tested on all primitives
  EgorkaKulikov
  committed
  e61cef4
- contrflow tests added
  EgorkaKulikov
  committed
  bb82a6b
- More test classes added
  EgorkaKulikov
  committed
  13ee51e
Commits on Nov 8, 2023
Commits on Nov 9, 2023
- Fix review comments
  EgorkaKulikov
  committed
  813c2d6

Navigation Menu

Repository navigation

Initial implementations of the adapter from JcExecution to UtExecution - #2677

Initial implementations of the adapter from JcExecution to UtExecution#2677
EgorkaKulikov merged 31 commits into
usvm_competitions_2024from
egor/jc_to_ut_models_converter

Commits on Nov 3, 2023

Some awful attempts

Initially implemented a converter of UTestInst to UtModel

Refactor JcToUtModelConverter basing on UTestInst2UtModel converter

Some steps to implement JcToUtExecutionConverter

Implement minimalistic jc to ut execution conversion, enable codegen

Some improvements

DeepMapper for models is used

Corrections

Some improvements to JcToUtModelConverter

Further improvements to JcToUtModelConverter

Another converter little improvement

Improve `UtExecutionFailure` creation

Commits on Nov 5, 2023

Finish implementing `JcToUtModelConverter`

Refactor nullability in `JcToUtModelConverter` and `JcToUtExecutionConverter`

First version of JC to UT converters without overusing `Descriptor2ValueConverter`

Commits on Nov 7, 2023

Processed forgotten call method expression

Make conversion more class-friendly (do not fail if one method cause failure)

Make it possible to use samples in ContestEstimator

Tested on all primitives

contrflow tests added

More test classes added

Commits on Nov 8, 2023

Add `build/output/test/samples` to `utbot-junit-contest` test projects

Steps to avoid duplicating statements

Merge remote-tracking branch 'origin/egor/jc_to_ut_models_converter' into egor/jc_to_ut_models_converter

Make it working correct on IntExamples.max

Remove OptimizeImportsProcessor (seems it was not called, but a source of bugs)

Process UTestStaticMethodCall

Comment out includes for IDE related projects in `settings.gradle.kts`

Avoid using burningwave to export modules on Java 8

Fix review comments

Commits on Nov 9, 2023

Fix review comments