Upgrade version to 0.4.3 (#86)

UnitTestBot · Mar 14, 2023 · a4eb7b4 · a4eb7b4
1 parent 4ab04fb
commit a4eb7b4
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -14,9 +14,9 @@ repositories {
 }
 
 // core 
-implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.2")
+implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.3")
 // z3 solver
-implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.2")
+implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.3")
 ```
 
 ## Usage

diff --git a/buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts b/buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts
@@ -9,7 +9,7 @@ plugins {
 }
 
 group = "org.ksmt"
-version = "0.4.2"
+version = "0.4.3"
 
 repositories {
     mavenCentral()

diff --git a/docs/getting-started.md b/docs/getting-started.md
@@ -18,17 +18,17 @@ repositories {
 ```kotlin
 dependencies {
     // core 
-    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.2")    
+    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.3")    
 }
 ```
 
 #### 3. Add one or more SMT solver dependencies:
 ```kotlin
 dependencies {
     // z3 
-    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.2")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.3")
     // bitwuzla
-    implementation("com.github.UnitTestBot.ksmt:ksmt-bitwuzla:0.4.2")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-bitwuzla:0.4.3")
 }
 ```
 SMT solver specific packages are provided with solver native binaries. 

diff --git a/examples/build.gradle.kts b/examples/build.gradle.kts
@@ -10,9 +10,9 @@ repositories {
 
 dependencies {
     // core
-    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.2")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.3")
     // z3 solver
-    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.2")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.3")
 }
 
 java {