Fixed creation of logic bools (#19)

UnitTestBot · Oct 4, 2023 · 6588257 · 6588257
1 parent e17613a
commit 6588257
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/buildSrc/src/main/kotlin/org.klogic.klogic-base.gradle.kts b/buildSrc/src/main/kotlin/org.klogic.klogic-base.gradle.kts
@@ -6,7 +6,7 @@ plugins {
 }
 
 group = "org.klogic"
-version = "0.2.0"
+version = "0.2.1"
 
 repositories {
     mavenCentral()

diff --git a/klogic-utils/src/main/kotlin/org/klogic/utils/terms/LogicBool.kt b/klogic-utils/src/main/kotlin/org/klogic/utils/terms/LogicBool.kt
@@ -12,7 +12,7 @@ sealed class LogicBool : EmptyTerm<LogicBool>() {
     override fun toString(): String = toBool().toString()
 
     companion object {
-        fun Boolean.toLogicBool(): LogicBool = if (this) LogicFalsᴼ else LogicTruᴼ
+        fun Boolean.toLogicBool(): LogicBool = if (this) LogicTruᴼ else LogicFalsᴼ
     }
 }
 

diff --git a/klogic-utils/src/test/kotlin/org/klogic/utils/terms/LogicBoolTest.kt b/klogic-utils/src/test/kotlin/org/klogic/utils/terms/LogicBoolTest.kt
@@ -3,16 +3,24 @@
 package org.klogic.utils.terms
 
 import org.junit.jupiter.api.Assertions.assertEquals
+import org.junit.jupiter.api.Assertions.assertSame
 import org.junit.jupiter.api.DisplayName
 import org.junit.jupiter.api.Test
 import org.klogic.core.*
 import org.klogic.core.Var.Companion.createTypedVar
 import org.klogic.utils.singleReifiedTerm
+import org.klogic.utils.terms.LogicBool.Companion.toLogicBool
 import org.klogic.utils.terms.LogicFalsᴼ.falsᴼ
 import org.klogic.utils.terms.LogicTruᴼ.truᴼ
 import org.klogic.utils.withEmptyContext
 
 class LogicBoolTest {
+    @Test
+    fun testLogicBoolsCreation() {
+        assertSame(falsᴼ, false.toLogicBool())
+        assertSame(truᴼ, true.toLogicBool())
+    }
+
     @Test
     @DisplayName("Forward !false = true")
     fun testForwardNotᴼ1() {