Make open sourced UTBot Java #2

New issue

Copy link

New issue

Copy link

Closed

Closed

Make open sourced UTBot Java#2

Copy link

Assignees

Labels

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

Description

viktoriia-fomina

opened on Apr 26, 2022

Issue body actions

• Change local repository into maven central.
• Add native z3 libraries as local dependencies (build.gradle in utbot-framework).
• Solve issue Add our Soot as a dependency #1

Metadata

Metadata

Assignees

• 
  viktoriia-fomina

Labels

ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

Type

No type

Projects

UTBot Java

Status

Done

Show more project fields

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions