+ tests for atom_chars/2

tuProlog · Aug 31, 2020 · 343057b · 343057b
1 parent 0a80567
commit 343057b
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/solve-classic/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestClassicSolver.kt b/solve-classic/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestClassicSolver.kt
@@ -332,7 +332,6 @@ class TestClassicSolver : TestSolver, SolverFactory by ClassicSolverFactory {
     }
 
     @Test
-    @Ignore
     override fun testAtomChars() {
         prototype.testAtomChars()
     }

diff --git a/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/stdlib/CommonBuiltins.kt b/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/stdlib/CommonBuiltins.kt
@@ -24,6 +24,7 @@ object CommonBuiltins : AliasedLibrary by Library.aliased(
         AssertA,
         AssertZ,
         Atom,
+        AtomChars,
         Atomic,
         Between,
         Callable,

diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestSolverImpl.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestSolverImpl.kt
@@ -163,6 +163,7 @@ internal class TestSolverImpl(private val solverFactory: SolverFactory) : TestSo
                 assertHasPredicateInAPI(AssertA)
                 assertHasPredicateInAPI(AssertZ)
                 assertHasPredicateInAPI(Atom)
+                assertHasPredicateInAPI(AtomChars)
                 assertHasPredicateInAPI(Atomic)
                 assertHasPredicateInAPI(Callable)
                 assertHasPredicateInAPI(Compound)
-Original file line number
+Diff line change
@@ Expand Up @@
         }
         @Test
-        @Ignore
         override fun testAtomChars() {
             prototype.testAtomChars()
         }
@@ Expand Down @@