rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update tests

Browse Source
This commit is contained in:
Mark Thom
2019-03-24 09:33:12 -06:00
parent 12fac66431
commit eecfcafef6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/tests.rs
View File

@@ -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 (-1 rdiv 27) ** -3, X ~ -19683.");
assert_prolog_success!(&mut wam, "?- X is 0.0 ** 0.", 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).", assert_prolog_success!(&mut wam, "?- catch(_ is 0.0 ** -2342, error(E, _), true).",
[["E = evaluation_error(no_roots)"]]); [["E = evaluation_error(no_roots)"]]);
assert_prolog_success!(&mut wam, "?- X is 0.0 ** 2342.", 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.", assert_prolog_success!(&mut wam, "?- X is (-0 rdiv 5) ** 5.",
[["X = 0"]]); [["X = 0"]]);
assert_prolog_success!(&mut wam, "?- X is (0 rdiv 5) ** 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).", assert_prolog_success!(&mut wam, "?- catch(_ is (0 rdiv 0) ** 5, error(E, _), true).",
[["E = evaluation_error(zero_divisor)"]]); [["E = evaluation_error(zero_divisor)"]]);
} }