- [x] Change local repository into maven central. - [x] Add native z3 libraries as local dependencies (build.gradle in utbot-framework). - [x] Solve issue #1
Activity
Try to add plugin #2
Fix review comments #2
Engine process #2 (#1067)
Engine process UnitTestBot#2 (UnitTestBot#1067)
Engine process UnitTestBot#2 (UnitTestBot#1067)
UTBot doesn't show test source from other modules for Gradle project #…
� This is a combination of 4 commits.
� This is a combination of 5 commits.
� This is a combination of 2 commits.