m

Author: DaniilStepanov

utbot-framework/build.gradle

@@ -6,7 +6,6 @@ repositories {
 
 configurations {
     z3native
-    fetchInstrumentationJar
 }
 
 dependencies {
@@ -50,9 +49,6 @@ dependencies {
     z3native group: 'com.microsoft.z3', name: 'z3-native-win64', version: z3Version, ext: 'zip'
     z3native group: 'com.microsoft.z3', name: 'z3-native-linux64', version: z3Version, ext: 'zip'
     z3native group: 'com.microsoft.z3', name: 'z3-native-osx', version: z3Version, ext: 'zip'
-
-    //For my tests
-    fetchInstrumentationJar project(path: ':utbot-instrumentation', configuration:'instrumentationArchive')
 }
 
 processResources {
@@ -61,7 +57,4 @@ processResources {
             into "lib/x64"
         }
     }
-    from(configurations.fetchInstrumentationJar) {
-        into "lib"
-    }
 }