%:- include(sanity_tests). :- include(library(logicmoo_test_header)). :- begin_tests(loop_check_tests). :- use_module(library(loop_check)). loop_inf0 :- loop_check(loop_inf0). loop_inf1 :- loop_check(loop_inf2,true). loop_inf1 :- loop_inf0. loop_inf2 :- loop_inf1. loop_inf3 :- loop_inf1. loop_inf3. loop_inf4(X) :- loop_check(loop_inf4(X),X=1). loop_inf4(2). test(loop_inf0):- must(\+ loop_inf0). test(loop_inf1):- must( loop_inf1),!. test(loop_inf2):- must( loop_inf2),!. test(loop_inf3):- must( loop_inf3). test(loop_inf4):- must(( loop_inf4(X),!,X=1)). test(loop_inf4a):- must(( loop_inf4(X),X=2,!)). %:- break. :- end_tests(loop_check_tests). % :- run_tests. % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master//var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_utils/t/loop_check_tests_01.plt % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.utils.utils.t/LOOP_CHECK_TESTS_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ALOOP_CHECK_TESTS_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/