Failed
logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04.logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04@Test_0005_Line_0064__naf_BooQ2_in_user: user:(\\+current_ooQ2(booQ2)) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04)
Error Message
failure = "failure=info((why_was_true(user:current_ooQ2(booQ2)),nop(ftrace(user:(\\+current_ooQ2(booQ2))))))\nno_proof_for(current_ooQ2(booQ2)).\n\nno_proof_for(current_ooQ2(booQ2)).\n\nno_proof_for(current_ooQ2(booQ2)).\n\n". failure = [].
Standard Error
name=Test_0005_Line_0064__naf_BooQ2_in_user JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04'. 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_04.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_04.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_04.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_04-Test_0001_Line_0036__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04'. 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_04.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_04_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_04-Test_0002_Line_0048__BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04'. 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_04.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_04_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_04-Test_0003_Line_0054__naf_BooQ2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04'. 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_04.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_04_Test_0003_Line_0054_naf_BooQ2_in_user-junit.xml %~ debugm( baseKB, %~ show_success( goal=user:(\+current_ooQ2(booQ2)). src='/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl':64. url=/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl#L64 time=0.0005900859832763672. failure=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)). result=failure.