From eecfcafef667b9fc36d5060248e2b120fd12b62a Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 24 Mar 2019 09:33:12 -0600 Subject: [PATCH] update tests --- src/tests.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)"]]); } -- 2.54.0