[Jenkins]Jenkins
log in

Failed

logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04.logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04@Test_0022_Line_0000__FooQ1_in_user: user: ~current_ooQ1(fooQ1) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04)

Failing for the past 1 build (Since #9 )
Took 1 ms.

Error Message

failure = "failure=info((why_was_true(user:(\\+ ~current_ooQ1(fooQ1))),nop(ftrace(user: ~current_ooQ1(fooQ1)))))\nno_proof_for(\\+ ~current_ooQ1(fooQ1)).\n\nno_proof_for(\\+ ~current_ooQ1(fooQ1)).\n\nno_proof_for(\\+ ~current_ooQ1(fooQ1)).\n\n". failure = [].

Standard Error

name=Test_0022_Line_0000__FooQ1_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( 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_04-Test_0004_Line_0058__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_0004_Line_0058_BooQ2_in_user-junit.xml
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:62
%~ 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_04-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\']"'.
% 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_0005_Line_0064_naf_BooQ2_in_user-junit.xml
%~ ?-( 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_04-Test_0006_Line_0070__FooQ2_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_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_04-Test_0007_Line_0074__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_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_04-Test_0008_Line_0091__DefaultValueTt_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_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_04-Test_0009_Line_0095__naf_DefaultValueTt_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_0009_Line_0095_naf_DefaultValueTt_in_user-junit.xml
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:97
%~ 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_04-Test_0010_Line_0099__DefaultValueTt_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_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_04-Test_0011_Line_0105__naf_DefaultValueTt_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_0011_Line_0105_naf_DefaultValueTt_in_user-junit.xml
%~ ?-( 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_04-Test_0012_Line_0111__FooTt_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_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_04-Test_0013_Line_0115__DefaultValueTt_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_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(_134176,user,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl',26) ,%~   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_04-Test_0014_Line_0000__WhenMissingQ1_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_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_04-Test_0015_Line_0000__WhenMissingQ1_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_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_04-Test_0016_Line_0000__WhenMissingQ1_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_0016_Line_0000_WhenMissingQ1_in_user-junit.xml
~*/

:- %rtrace
   (mpred_test(default_ooQ1(whenMissingQ1))).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl:35
%~ ?-( 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_04-Test_0017_Line_0000__WhenMissingQ1_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_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_04.pl ',38) ,
%~                  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(whenMissingQ1)).

no_proof_for(current_ooQ1(whenMissingQ1)).

no_proof_for(current_ooQ1(whenMissingQ1)).

name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04-Test_0018_Line_0000__WhenMissingQ1_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_0018_Line_0000_WhenMissingQ1_in_user-junit.xml
~*/

  
% :- pp_DB.

:- (mpred_ain(current_ooQ1(fooQ1))).

/*~
~*/

:- mpred_test(\+current_ooQ1(whenMissingQ1)).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl:54
%~ ?-( mpred_test("Test_0019_Line_0000__naf_WhenMissingQ1_in_user",user:(\+current_ooQ1(whenMissingQ1)))).
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)).

name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04-Test_0019_Line_0000__naf_WhenMissingQ1_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_0019_Line_0000_naf_WhenMissingQ1_in_user-junit.xml
~*/

:- (mpred_ain(\+ current_ooQ1(fooQ1))).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl:56
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : mpred_withdraw( current_ooQ1(fooQ1),
%~                ( mfl4(User,user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl ',56) ,
%~                  ax))))
~*/

:- mpred_test(current_ooQ1(whenMissingQ1)).

/*~
%~ ?-( mpred_test("Test_0020_Line_0000__WhenMissingQ1_in_user",user:current_ooQ1(whenMissingQ1))).
passed=info(why_was_true(user:current_ooQ1(whenMissingQ1)))
no_proof_for(current_ooQ1(whenMissingQ1)).

no_proof_for(current_ooQ1(whenMissingQ1)).

no_proof_for(current_ooQ1(whenMissingQ1)).

name='logicmoo.pfc.test.sanity_base.MPRED_PFC_TEST_04-Test_0020_Line_0000__WhenMissingQ1_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_0020_Line_0000_WhenMissingQ1_in_user-junit.xml
~*/

:- (mpred_withdraw( default_ooQ1(whenMissingQ1) )).

/*~
~*/

:- listing([current_ooQ1,default_ooQ1]).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl:62
%~ skipped( listing( [current_ooQ1,default_ooQ1]))
~*/

:- mpred_test( \+current_ooQ1(whenMissingQ1)).

/*~
%~ ?-( mpred_test("Test_0021_Line_0000__naf_WhenMissingQ1_in_user",user:(\+current_ooQ1(whenMissingQ1)))).
failure=info((why_was_true(user:current_ooQ1(whenMissingQ1)),nop(ftrace(user:(\+current_ooQ1(whenMissingQ1))))))
no_proof_for(cur
goal=user: ~current_ooQ1(fooQ1).
time=0.0006427764892578125.
failure=failure=info((why_was_true(user:(\+ ~current_ooQ1(fooQ1))),nop(ftrace(user: ~current_ooQ1(fooQ1)))))
no_proof_for(\+ ~current_ooQ1(fooQ1)).

no_proof_for(\+ ~current_ooQ1(fooQ1)).

no_proof_for(\+ ~current_ooQ1(fooQ1)).

result=failure.