From ac54979518ab1b5f1a6b48daf911506dc60ebc63 Mon Sep 17 00:00:00 2001 From: Davide Greco Date: Fri, 28 Aug 2020 12:40:43 +0200 Subject: [PATCH] Test Integer implementation --- .../unibo/tuprolog/solve/TestIntegerImpl.kt | 20 +++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestIntegerImpl.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestIntegerImpl.kt index a498c83a4..338133de6 100644 --- a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestIntegerImpl.kt +++ b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestIntegerImpl.kt @@ -8,8 +8,8 @@ internal class TestIntegerImpl(private val solverFactory: SolverFactory) : TestI prolog { val solver = solverFactory.solverWithDefaultBuiltins() - var query = integer(3) - var solutions = solver.solve(query, mediumDuration).toList() + val query = integer(3) + val solutions = solver.solve(query, mediumDuration).toList() assertSolutionEquals( ktListOf(query.yes()), @@ -22,8 +22,8 @@ internal class TestIntegerImpl(private val solverFactory: SolverFactory) : TestI prolog { val solver = solverFactory.solverWithDefaultBuiltins() - var query = integer(-3) - var solutions = solver.solve(query, mediumDuration).toList() + val query = integer(-3) + val solutions = solver.solve(query, mediumDuration).toList() assertSolutionEquals( ktListOf(query.yes()), @@ -36,8 +36,8 @@ internal class TestIntegerImpl(private val solverFactory: SolverFactory) : TestI prolog { val solver = solverFactory.solverWithDefaultBuiltins() - var query = integer(3.3) - var solutions = solver.solve(query, mediumDuration).toList() + val query = integer(3.3) + val solutions = solver.solve(query, mediumDuration).toList() assertSolutionEquals( ktListOf(query.no()), @@ -50,8 +50,8 @@ internal class TestIntegerImpl(private val solverFactory: SolverFactory) : TestI prolog { val solver = solverFactory.solverWithDefaultBuiltins() - var query = integer("X") - var solutions = solver.solve(query, mediumDuration).toList() + val query = integer("X") + val solutions = solver.solve(query, mediumDuration).toList() assertSolutionEquals( ktListOf(query.no()), @@ -64,8 +64,8 @@ internal class TestIntegerImpl(private val solverFactory: SolverFactory) : TestI prolog { val solver = solverFactory.solverWithDefaultBuiltins() - var query = integer("atom") - var solutions = solver.solve(query, mediumDuration).toList() + val query = integer("atom") + val solutions = solver.solve(query, mediumDuration).toList() assertSolutionEquals( ktListOf(query.no()),