From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 24 Mar 2019 15:33:12 +0000 (-0600)
Subject: update tests
X-Git-Tag: v0.8.110~157
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=eecfcafef667b9fc36d5060248e2b120fd12b62a;p=scryer-prolog.git

update tests
---

diff --git a/src/tests.rs b/src/tests.rs
index 8b6c8407..1804324f 100644
--- a/src/tests.rs
+++ b/src/tests.rs
@@ -1080,7 +1080,7 @@ fn test_queries_on_arithmetic()
     assert_prolog_success!(&mut wam, "?- X is (-1 rdiv 27) ** -3, X ~ -19683.");
 
     assert_prolog_success!(&mut wam, "?- X is 0.0 ** 0.",
-                           [["X = 1"]]);
+                           [["X = 1.0"]]);
     assert_prolog_success!(&mut wam, "?- catch(_ is 0.0 ** -2342, error(E, _), true).",
                            [["E = evaluation_error(no_roots)"]]);
     assert_prolog_success!(&mut wam, "?- X is 0.0 ** 2342.",
@@ -1112,7 +1112,7 @@ fn test_queries_on_arithmetic()
     assert_prolog_success!(&mut wam, "?- X is (-0 rdiv 5) ** 5.",
                            [["X = 0"]]);
     assert_prolog_success!(&mut wam, "?- X is (0 rdiv 5) ** 0.",
-                           [["X = 1"]]);
+                           [["X = 1.0"]]);
     assert_prolog_success!(&mut wam, "?- catch(_ is (0 rdiv 0) ** 5, error(E, _), true).",
                            [["E = evaluation_error(zero_divisor)"]]);
 }