Skip to content

Introduce utbot-usvm module and use it in contest#2715

Merged
EgorkaKulikov merged 6 commits into
mainfrom
egor/introduce_utbot_usvm
Dec 13, 2023
Merged

Introduce utbot-usvm module and use it in contest#2715
EgorkaKulikov merged 6 commits into
mainfrom
egor/introduce_utbot_usvm

Conversation

@EgorkaKulikov
Copy link
Copy Markdown
Collaborator

@EgorkaKulikov EgorkaKulikov commented Dec 13, 2023

Description

Introduce utbot-usvm module and use it in contest to use it in utbot-framework

How to test

Manual tests

Verify that ContestEstimator can still be run.

Self-check list

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@EgorkaKulikov EgorkaKulikov added ctg-enhancement New feature, improvement or change request comp-contest-estimator Issue is related to contest estimator labels Dec 13, 2023
IlyaMuravjov
IlyaMuravjov approved these changes Dec 13, 2023
View reviewed changes
Copy link
Copy Markdown
Collaborator

@IlyaMuravjov IlyaMuravjov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mostly LGTM

Comment thread utbot-framework-api/src/main/kotlin/org/utbot/framework/utils/UtilMethodProvider.kt Outdated
Comment thread utbot-framework-api/src/main/kotlin/org/utbot/framework/fuzzer/IdGenerator.kt
Comment thread utbot-usvm/build.gradle.kts
@EgorkaKulikov EgorkaKulikov enabled auto-merge (squash) December 13, 2023 14:09
@EgorkaKulikov EgorkaKulikov merged commit b9726de into main Dec 13, 2023
@EgorkaKulikov EgorkaKulikov deleted the egor/introduce_utbot_usvm branch December 13, 2023 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@IlyaMuravjov IlyaMuravjov IlyaMuravjov approved these changes

Assignees

No one assigned

Labels

comp-contest-estimator Issue is related to contest estimator ctg-enhancement New feature, improvement or change request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@EgorkaKulikov @IlyaMuravjov