add more tests for builtins.

diff --git a/src/tests.rs b/src/tests.rs
index 6b5b743eb546796f1c15e37c9de1ac69b8070741..55b6b745febaf571c49345f80c7b7a453fa7db64 100644 (file)
--- a/src/tests.rs
+++ b/src/tests.rs
@@ -1220,10 +1220,16 @@ fn test_queries_on_builtins()
 
     assert_prolog_success!(&mut wam, "?- functor(F, f, 0).", [["F = f"]]);
 
+    assert_prolog_success!(&mut wam, "?- functor(Func, f, 3).", [["Func = f(_2, _3, _4)"]]);
+    assert_prolog_success!(&mut wam, "?- functor(Func, f, 4).", [["Func = f(_2, _3, _4, _5)"]]);
+
     assert_prolog_success!(&mut wam, "?- catch(functor(F, \"sdf\", 3), E, true).",
                            [["E = instantiation_error", "F = _1"]]);
     assert_prolog_success!(&mut wam, "?- catch(functor(Func, F, 3), E, true).",
                            [["E = instantiation_error", "Func = _1", "F = _2"]]);
+    assert_prolog_success!(&mut wam, "?- catch(functor(Func, f, N), E, true).",
+                           [["E = instantiation_error", "Func = _1", "N = _3"]]);
+    assert_prolog_failure!(&mut wam, "?- catch(functor(Func, f, N), E, false).");
 
     assert_prolog_success!(&mut wam, "?- X is 3, call(integer, X).");
     assert_prolog_failure!(&mut wam, "?- X is 3 + 3.5, call(integer, X).");