From ec276a7766f49d4b1e63939dfa412e793bc19b14 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 23 Feb 2018 16:43:12 -0700 Subject: [PATCH] add more tests. --- src/tests.rs | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/tests.rs b/src/tests.rs index 2d325bd3..b443515b 100644 --- a/src/tests.rs +++ b/src/tests.rs @@ -1551,4 +1551,16 @@ fn test_queries_on_call_with_inference_limit() ["R = true", "X = 4", "S = true"], ["R = true", "X = 5", "S = true"], ["R = inference_limit_exceeded", "S = !", "X = _1"]]); + assert_prolog_success!(&mut wam, "?- call_with_inference_limit(g(X), 2, R), call_with_inference_limit(g(X), 1, S).", + [["R = true", "X = 1", "S = !"], + ["R = true", "X = 2", "S = !"], + ["R = true", "X = 3", "S = !"], + ["R = true", "X = 4", "S = !"], + ["R = true", "X = 5", "S = !"], + ["R = !", "X = 6", "S = !"]]); + assert_prolog_success!(&mut wam, "?- call_with_inference_limit(g(X), 2, R), call_with_inference_limit(g(X), 1, R).", + [["R = !", "X = 6"]]); + assert_prolog_success!(&mut wam, "?- call_with_inference_limit(g(X), 1, R), call_with_inference_limit(g(X), 1, R).", + [["R = inference_limit_exceeded", "X = _1"]]); + } -- 2.54.0