Failed

logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03.logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03@Test_0005_Line_0000__naf_BooQ2_in_user: user:(\\+current_ooQ2(booQ2)) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03)

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_0000__naf_BooQ2_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'.
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_03.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_03.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_03.pl'),
%~ /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))))

% :- use_listing_vars.

:- expects_dialect(pfc).

% :- (( must((defaultAssertMt(M)->M==red_test01)))).

% :- 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)).

% :- rtrace(mpred_reset).

/*~
~*/


% :- (( must((defaultAssertMt(M)->M==red_test01)))).

% :- 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)).

% :- rtrace(mpred_reset).

:- defaultAssertMt(M),dynamic((M:current_ooQ2/1,M:default_ooQ2/1,M:if_mooQ2/2)).
/*~
~*/

:- mpred_trace.
/*~
~*/

:- mpred_watch.
%:- mpred_reset.

/*~
~*/

%:- mpred_reset.

:- mpred_ain(default_ooQ2(booQ2)).

/*~
~*/

:- must(call_u(default_ooQ2(booQ2))).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:32
%~ ?-( mpred_test("Test_0001_Line_0000__BooQ2_in_user",user:call_u(default_ooQ2(booQ2)))).
passed=info(why_was_true(user:call_u(default_ooQ2(booQ2))))
no_proof_for(call_u(default_ooQ2(booQ2))).

no_proof_for(call_u(default_ooQ2(booQ2))).

no_proof_for(call_u(default_ooQ2(booQ2))).

name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03-Test_0001_Line_0000__BooQ2_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'.
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_03.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_03_Test_0001_Line_0000_BooQ2_in_user-junit.xml
~*/

:- mpred_why(default_ooQ2(booQ2)).

/*~
%~ ?-( mpred_test("Test_0002_Line_0000__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_03-Test_0002_Line_0000__BooQ2_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'.
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_03.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_03_Test_0002_Line_0000_BooQ2_in_user-junit.xml
~*/

:- mpred_test(default_ooQ2(booQ2)).

/*~
%~ ?-( mpred_test("Test_0003_Line_0000__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_03-Test_0003_Line_0000__BooQ2_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_03'.
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_03.pl\']"'.
% saving_jun
goal=user:(\+current_ooQ2(booQ2)).
time=0.0007207393646240234.
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.