@@ -4,16 +4,8 @@ plugins {
44applyplugin :' jacoco'
55
66repositories {
7- mavenLocal()
87 mavenCentral()
98 maven { url' https://jitpack.io' }
10- maven {
11- url= uri(' https://maven.pkg.github.com/UnitTestBot/usvm' )
12- credentials {
13- username= project. githubActor// System.getenv("GITHUB_ACTOR")
14- password= project. githubToken// System.getenv("GITHUB_TOKEN")
15- }
16- }
179}
1810
1911configurations {
@@ -28,6 +20,9 @@ configurations {
2820def approximationsRepo= " com.github.UnitTestBot.java-stdlib-approximations"
2921def approximationsVersion= " bfce4eedde"
3022
23+ def usvmRepo= " com.github.UnitTestBot.usvm"
24+ def usvmVersion= " 72924ad"
25+
3126compileJava {
3227 options. compilerArgs<< ' -XDignore.symbol.file'
3328}
@@ -177,11 +172,11 @@ dependencies {
177172
178173 implementation" org.burningwave:core:12.62.7"
179174
180- implementationgroup : " org.usvm " , name : " usvm-core" , version : usvmVersion
181- implementationgroup : " org.usvm " , name : " usvm-jvm" , version : usvmVersion
182- implementationgroup : " org.usvm " , name : " usvm-jvm-api" , version : usvmVersion
183- implementationgroup : " org.usvm " , name : " usvm-jvm-instrumentation" , version : usvmVersion
184- implementationgroup : " org.usvm " , name : " usvm-jvm-instrumentation-collectors" , version : usvmVersion
175+ implementation" $u svmRepo : usvm-core: $ usvmVersion "
176+ implementation" $u svmRepo : usvm-jvm: $ usvmVersion "
177+ implementation" $u svmRepo : usvm-jvm-api: $ usvmVersion "
178+ implementation" $u svmRepo : usvm-jvm-instrumentation: $ usvmVersion "
179+ implementation" $u svmRepo : usvm-jvm-instrumentation-collectors: $ usvmVersion "
185180
186181 implementationgroup :" org.jacodb" ,name :" jacodb-core" ,version : jacoDbVersion
187182 implementationgroup :" org.jacodb" ,name :" jacodb-analysis" ,version : jacoDbVersion
@@ -198,10 +193,11 @@ dependencies {
198193 fetchInstrumentationJar project(path :' :utbot-instrumentation' ,configuration :' instrumentationArchive' )
199194
200195 approximations" $approximationsRepo :approximations:$approximationsVersion "
201- usvmApproximationsApi" org.usvm:usvm-jvm-api:$usvmVersion "
202- usvmInstrumentationCollector" org.usvm:usvm-jvm-instrumentation-collectors:$usvmVersion "
203- usvmInstrumentationRunner" org.usvm:usvm-jvm-instrumentation:$usvmVersion "
204- usvmInstrumentationRunner" org.usvm:usvm-jvm-instrumentation-collectors:$usvmVersion "
196+
197+ usvmApproximationsApi" $usvmRepo :usvm-jvm-api:$usvmVersion "
198+ usvmInstrumentationCollector" $usvmRepo :usvm-jvm-instrumentation-collectors:$usvmVersion "
199+ usvmInstrumentationRunner" $usvmRepo :usvm-jvm-instrumentation:$usvmVersion "
200+ usvmInstrumentationRunner" $usvmRepo :usvm-jvm-instrumentation-collectors:$usvmVersion "
205201}
206202
207203processResources {