<?xml version="1.0" encoding="utf-8"?> <testsuites> <testsuite name="logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02" package="logicmoo.pfc.test.sanity_base" time="0.014" tests="1" errors="0" skipped="0" failures="1"> <testcase name="logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02@Test_0021_Line_0000__naf_WhenMissingQ1_in_user: user:(\\+current_ooQ1(whenMissingQ1))" classname="logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02" time="0.001"> <failure message="failure = "failure=info((why_was_true(user:current_ooQ1(whenMissingQ1)),nop(ftrace(user:(\\+current_ooQ1(whenMissingQ1))))))\nno_proof_for(current_ooQ1(whenMissingQ1)).\n\nno_proof_for(current_ooQ1(whenMissingQ1)).\n\nno_proof_for(current_ooQ1(whenMissingQ1)).\n\n". failure = []. " /> <system-err><![CDATA[name=Test_0021_Line_0000__naf_WhenMissingQ1_in_user JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['mpred_pfc_test_02.pl']") ``` %~ init_phase(after_load) %~ init_phase(restore_state) % %~ init_why(after_boot,program) %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. running('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_02.pl'), %~ this_test_might_need( :-( expects_dialect(pfc))) %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) % :- use_listing_vars. % :- set_prolog_flag(umt_local,true). % :- set_prolog_flag(umt_local,false). % :- ensure_loaded(library(logicmoo/mpred/mpred_core)). %:- include(library(logicmoo_test_header)). % :- include(library(logicmoo_test_header)). %:- include(library(logicmoo_test_header)). :- include('mpred_pfc_test_03'). /*~ running(-), %~ reload_of_test_header. %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need( :-( expects_dialect(pfc))) %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). %~ ?-( mpred_test("Test_0001_Line_0036__BooQ2_in_user",user:default_ooQ2(booQ2))). passed=info(why_was_true(user:default_ooQ2(booQ2))) no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). no_proof_for(default_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0001_Line_0036__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0001_Line_0036_BooQ2_in_user-junit.xml %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( default_ooQ2(booQ2), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl ',38) , %~ ax)))) %~ ?-( mpred_test("Test_0002_Line_0048__BooQ2_in_user",user:current_ooQ2(booQ2))). passed=info(why_was_true(user:current_ooQ2(booQ2))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0002_Line_0048__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0002_Line_0048_BooQ2_in_user-junit.xml %~ ?-( mpred_test("Test_0003_Line_0054__naf_BooQ2_in_user",user:(\+current_ooQ2(booQ2)))). failure=info((why_was_true(user:current_ooQ2(booQ2)),nop(ftrace(user:(\+current_ooQ2(booQ2)))))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0003_Line_0054__naf_BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0003_Line_0054_naf_BooQ2_in_user-junit.xml %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( current_ooQ2(fooQ2), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl ',56) , %~ ax)))) %~ ?-( mpred_test("Test_0004_Line_0058__BooQ2_in_user",user:current_ooQ2(booQ2))). passed=info(why_was_true(user:current_ooQ2(booQ2))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0004_Line_0058__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0004_Line_0058_BooQ2_in_user-junit.xml %~ skipped(messy_on_output,xlisting(([current_ooQ2,default_ooQ2],-lmcache,-xlisting))) %~ ?-( mpred_test("Test_0005_Line_0064__naf_BooQ2_in_user",user:(\+current_ooQ2(booQ2)))). failure=info((why_was_true(user:current_ooQ2(booQ2)),nop(ftrace(user:(\+current_ooQ2(booQ2)))))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0005_Line_0064__naf_BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0005_Line_0064_naf_BooQ2_in_user-junit.xml %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:70 %~ ?-( mpred_test("Test_0006_Line_0070__FooQ2_in_user",user: ~current_ooQ2(fooQ2))). failure=info((why_was_true(user:(\+ ~current_ooQ2(fooQ2))),nop(ftrace(user: ~current_ooQ2(fooQ2))))) no_proof_for(\+ ~current_ooQ2(fooQ2)). no_proof_for(\+ ~current_ooQ2(fooQ2)). no_proof_for(\+ ~current_ooQ2(fooQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0006_Line_0070__FooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0006_Line_0070_FooQ2_in_user-junit.xml %~ ?-( mpred_test("Test_0007_Line_0074__BooQ2_in_user",user:current_ooQ2(booQ2))). passed=info(why_was_true(user:current_ooQ2(booQ2))) no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). no_proof_for(current_ooQ2(booQ2)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0007_Line_0074__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0007_Line_0074_BooQ2_in_user-junit.xml %~ ?-( mpred_test("Test_0008_Line_0091__DefaultValueTt_in_user",user:current_ooTt(defaultValueTt))). passed=info(why_was_true(user:current_ooTt(defaultValueTt))) no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0008_Line_0091__DefaultValueTt_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0008_Line_0091_DefaultValueTt_in_user-junit.xml %~ ?-( mpred_test("Test_0009_Line_0095__naf_DefaultValueTt_in_user",user:(\+current_ooTt(defaultValueTt)))). failure=info((why_was_true(user:current_ooTt(defaultValueTt)),nop(ftrace(user:(\+current_ooTt(defaultValueTt)))))) no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0009_Line_0095__naf_DefaultValueTt_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0009_Line_0095_naf_DefaultValueTt_in_user-junit.xml %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( current_ooTt(fooTt), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl ',97) , %~ ax)))) %~ ?-( mpred_test("Test_0010_Line_0099__DefaultValueTt_in_user",user:current_ooTt(defaultValueTt))). passed=info(why_was_true(user:current_ooTt(defaultValueTt))) no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0010_Line_0099__DefaultValueTt_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0010_Line_0099_DefaultValueTt_in_user-junit.xml %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:103 %~ skipped(messy_on_output,xlisting(([current_ooTt,default_ooTt],-lmcache,-xlisting))) %~ ?-( mpred_test("Test_0011_Line_0105__naf_DefaultValueTt_in_user",user:(\+current_ooTt(defaultValueTt)))). failure=info((why_was_true(user:current_ooTt(defaultValueTt)),nop(ftrace(user:(\+current_ooTt(defaultValueTt)))))) no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0011_Line_0105__naf_DefaultValueTt_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0011_Line_0105_naf_DefaultValueTt_in_user-junit.xml %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:111 %~ ?-( mpred_test("Test_0012_Line_0111__FooTt_in_user",user: ~current_ooTt(fooTt))). failure=info((why_was_true(user:(\+ ~current_ooTt(fooTt))),nop(ftrace(user: ~current_ooTt(fooTt))))) no_proof_for(\+ ~current_ooTt(fooTt)). no_proof_for(\+ ~current_ooTt(fooTt)). no_proof_for(\+ ~current_ooTt(fooTt)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0012_Line_0111__FooTt_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0012_Line_0111_FooTt_in_user-junit.xml %~ ?-( mpred_test("Test_0013_Line_0115__DefaultValueTt_in_user",user:current_ooTt(defaultValueTt))). passed=info(why_was_true(user:current_ooTt(defaultValueTt))) no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). no_proof_for(current_ooTt(defaultValueTt)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0013_Line_0115__DefaultValueTt_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0013_Line_0115_DefaultValueTt_in_user-junit.xml ~*/ :- mpred_reset. /*~ ~*/ :- defaultAssertMt(M),dynamic((M:current_ooQ1/1,M:default_ooQ1/1,M:if_mooQ1/2)). /*~ ~*/ :- mpred_trace. /*~ ~*/ :- mpred_watch. /*~ ~*/ :- mpred_reset. /*~ ~*/ :- notrace(rtrace(mpred_ain(default_ooQ1(whenMissingQ1)))). /*~ %~ call_mpred_post4 :-%~ level=97 ,%~ que=0 ,%~ assertion_status=unique ,%~ support_status=none ,%~ post1 = default_ooQ1(whenMissingQ1) ,%~ fix_mp=user ,%~ mz=baseKB ,%~ p0 = default_ooQ1(whenMissingQ1) ,%~ support_fact = mfl4(_134458,user,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_02.pl',25) ,%~ support_trig=ax. %~ baseKB : mpred_fwc1( default_ooQ1(whenMissingQ1)). ~*/ :- must(call_u(default_ooQ1(whenMissingQ1))). /*~ %~ ?-( mpred_test("Test_0014_Line_0000__WhenMissingQ1_in_user",user:call_u(default_ooQ1(whenMissingQ1)))). passed=info(why_was_true(user:call_u(default_ooQ1(whenMissingQ1)))) no_proof_for(call_u(default_ooQ1(whenMissingQ1))). no_proof_for(call_u(default_ooQ1(whenMissingQ1))). no_proof_for(call_u(default_ooQ1(whenMissingQ1))). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0014_Line_0000__WhenMissingQ1_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0014_Line_0000_WhenMissingQ1_in_user-junit.xml ~*/ :- defaultAssertMt(M),M:must((default_ooQ1(whenMissingQ1))). /*~ %~ ?-( mpred_test("Test_0015_Line_0000__WhenMissingQ1_in_user",user:default_ooQ1(whenMissingQ1))). passed=info(why_was_true(user:default_ooQ1(whenMissingQ1))) no_proof_for(default_ooQ1(whenMissingQ1)). no_proof_for(default_ooQ1(whenMissingQ1)). no_proof_for(default_ooQ1(whenMissingQ1)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0015_Line_0000__WhenMissingQ1_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0015_Line_0000_WhenMissingQ1_in_user-junit.xml ~*/ :- mpred_why(default_ooQ1(whenMissingQ1)). /*~ %~ ?-( mpred_test("Test_0016_Line_0000__WhenMissingQ1_in_user",user:default_ooQ1(whenMissingQ1))). passed=info(why_was_true(user:default_ooQ1(whenMissingQ1))) no_proof_for(default_ooQ1(whenMissingQ1)). no_proof_for(default_ooQ1(whenMissingQ1)). no_proof_for(default_ooQ1(whenMissingQ1)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0016_Line_0000__WhenMissingQ1_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0016_Line_0000_WhenMissingQ1_in_user-junit.xml ~*/ :- %rtrace (mpred_test(default_ooQ1(whenMissingQ1))). /*~ %~ ?-( mpred_test("Test_0017_Line_0000__WhenMissingQ1_in_user",user:default_ooQ1(whenMissingQ1))). passed=info(why_was_true(user:default_ooQ1(whenMissingQ1))) no_proof_for(default_ooQ1(whenMissingQ1)). no_proof_for(default_ooQ1(whenMissingQ1)). no_proof_for(default_ooQ1(whenMissingQ1)). name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02-Test_0017_Line_0000__WhenMissingQ1_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_02'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mpred_pfc_test_02.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_MPRED_PFC_TEST_02_Test_0017_Line_0000_WhenMissingQ1_in_user-junit.xml ~*/ :- %rtrace (mpred_ain(\+default_ooQ1(whenMissingQ1))). % this should have been ok % (if_mooQ1(Missing,Create) ==> ((\+ Missing/(Missing\==Create), \+ Create , \+ ~(Create)) ==> Create)). /*~ %~ debugm( baseKB, %~ show_success( baseKB, %~ baseKB : mpred_withdraw( default_ooQ1(whenMissingQ1), %~ ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_02.pl ',37) , %~ ax)))) ~*/ % this should have been ok % (if_mooQ1(Missing,Create) ==> ((\+ Missing/(Missing\==Create), \+ Create , \+ ~(Create)) ==> Create)). :- ((mpred_ain((if_mooQ1(Missing,Create) ==> ( ( \+ Missing/(Missing\=@=Create)) ==> Create))))). /*~ ~*/ :- mpred_ain((default_ooQ1(X) ==> if_mooQ1(current_ooQ1(_),current_ooQ1(X)))). /*~ ~*/ :- mpred_ain(default_ooQ1(whenMissingQ1)). /*~ ~*/ :- mpred_test(current_ooQ1(whenMissingQ1)). % :- pp_DB. /*~ %~ ?-( mpred_test("Test_0018_Line_0000__WhenMissingQ1_in_user",user:current_ooQ1(whenMissingQ1))). passed=info(why_was_true(user:current_ooQ1(whenMissingQ1))) no_proof_for(current_ooQ1( goal=user:(\+current_ooQ1(whenMissingQ1)). time=0.0005905628204345703. failure=failure=info((why_was_true(user:current_ooQ1(whenMissingQ1)),nop(ftrace(user:(\+current_ooQ1(whenMissingQ1)))))) no_proof_for(current_ooQ1(whenMissingQ1)). no_proof_for(current_ooQ1(whenMissingQ1)). no_proof_for(current_ooQ1(whenMissingQ1)). result=failure. ]]></system-err> </testcase> </testsuite> </testsuites>