search

logicmoo / logicmoo_workspace

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
http://www.logicmoo.org/
Other
44 stars 8 forks source link

logicmoo.pfc.test.sanity_base.MDEFAULT_01D JUnit #577

Open TeamSPoon opened 2 years ago

TeamSPoon commented 2 years ago

(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/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 "['mdefault_01d.pfc']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/MDEFAULT_01D/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AMDEFAULT_01D % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/577 

%~ 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@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))

functorDeclares(tFish).
/*~
~*/

functorDeclares(tSwim).

/*~
~*/

:- dmsg("tweety and chilly are fish.").
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc:7 
%~ tweety and chilly are fish.
~*/

tFish(iTweety).
/*~
~*/

tFish(iChilly).

/*~
~*/

:- dmsg("fish swim by default.").
/*~
%~ fish swim by default.
~*/

mdefault(( tFish(X) ==> tSwim(X))).

/*~
~*/

/*
:- header_sane:listing(nt/3).
:- header_sane:listing(tSwim/1).
:- header_sane:listing(pt/2).
:- header_sane:listing(mdefault/1).
*/

:- dmsg("make sure *both* can swim (this exposes a potential bug in monadic predicates)").
/*~
%~ make sure *both* can swim (this exposes a potential bug in monadic predicates)
~*/

:- mpred_test((tSwim(iTweety))).
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__ITweety",baseKB:tSwim(iTweety))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L22  
passed=info(why_was_true(baseKB:tSwim(iTweety)))

Justifications for tSwim(iTweety):
    1.1 \+ ~tSwim(iTweety)  % [/boot/init.pl:512] 
    1.2 \+tSwim(iTweety)  % [/boot/init.pl:512] 
    1.3 \+(tSwim(iTweety)/ground(tSwim(iTweety)),\+tSwim(iTweety)),\+ ~tSwim(iTweety)==>tSwim(iTweety)  % [mfl4(_2306,_2308,_2310,_2312)] 
    1.4 mdefault(tSwim(iTweety))  % [mfl4(_3012,_3014,_3016,_3018)] 
    1.5 (mdefault(W4)/mpred_positive_fact(W4),if_missing_mask(W4,X4,Y4))==>(\+(X4/ground(X4),Y4),\+ ~W4==>W4)  % [pfc/prolog/pfclib/system_mdefault.pfc.pl:61] 
    1.6 tFish(iTweety)  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L8 ] 
    1.7 tFish(W4)==>mdefault(tSwim(W4))  % [mfl4(_5698,_5700,_5702,_5704)] 
    1.8 mfl4(['Q'=_,'R'=_,'Test'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L61 ',61) 
    1.9 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L8 ',8) 
    1.10 mdefault((tFish(W4)==>tSwim(W4)))  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L12 ] 
    1.11 (mdefault((W4==>X4))/nonvar(X4))==>(W4==>mdefault(X4))  % [pfc/prolog/pfclib/system_mdefault.pfc.pl:54] 
    1.12 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L12 ',12) 
    1.13 mfl4(['P'=_,'Q'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L54 ',54) 
    name    =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D-Test_0001_Line_0000__ITweety'. 
    JUNIT_CLASSNAME =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D'. 
    JUNIT_CMD   =   'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mdefault_01d.pfc\']"'. 
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/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_MDEFAULT_01D_Test_0001_Line_0000_ITweety-junit.xml
~*/

:- mpred_test((tSwim(iChilly))).

/*~
%~ ?-( mpred_test("Test_0002_Line_0000__IChilly",baseKB:tSwim(iChilly))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L23  
passed=info(why_was_true(baseKB:tSwim(iChilly)))

Justifications for tSwim(iChilly):
    1.1 \+ ~tSwim(iChilly)  % [/boot/init.pl:512] 
    1.2 \+tSwim(iChilly)  % [/boot/init.pl:512] 
    1.3 \+(tSwim(iChilly)/ground(tSwim(iChilly)),\+tSwim(iChilly)),\+ ~tSwim(iChilly)==>tSwim(iChilly)  % [mfl4(_11582,_11584,_11586,_11588)] 
    1.4 mdefault(tSwim(iChilly))  % [mfl4(_12288,_12290,_12292,_12294)] 
    1.5 (mdefault(W4)/mpred_positive_fact(W4),if_missing_mask(W4,X4,Y4))==>(\+(X4/ground(X4),Y4),\+ ~W4==>W4)  % [pfc/prolog/pfclib/system_mdefault.pfc.pl:61] 
    1.6 tFish(iChilly)  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L9 ] 
    1.7 tFish(W4)==>mdefault(tSwim(W4))  % [mfl4(_14974,_14976,_14978,_14980)] 
    1.8 mfl4(['Q'=_,'R'=_,'Test'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L61 ',61) 
    1.9 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L9 ',9) 
    1.10 mdefault((tFish(W4)==>tSwim(W4)))  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L12 ] 
    1.11 (mdefault((W4==>X4))/nonvar(X4))==>(W4==>mdefault(X4))  % [pfc/prolog/pfclib/system_mdefault.pfc.pl:54] 
    1.12 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L12 ',12) 
    1.13 mfl4(['P'=_,'Q'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L54 ',54) 
    name    =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D-Test_0002_Line_0000__IChilly'. 
    JUNIT_CLASSNAME =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D'. 
    JUNIT_CMD   =   'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mdefault_01d.pfc\']"'. 
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/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_MDEFAULT_01D_Test_0002_Line_0000_IChilly-junit.xml
~*/

:- mpred_trace_exec.
/*~
~*/

\+ tFish(iChilly).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc:27 
%~ mpred_undo1( '$nt'( tSwim(iChilly),
%~                ( call_u_no_bc( tSwim(iChilly))  ,
%~                  ground( tSwim(iChilly)) ,
%~                  \+( tSwim(iChilly))),
%~                '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)]))))
%~ success( mpred_undo1_nt_unfwc,
%~   baseKB : ( '$nt'( tSwim(iChilly),
%~                ( call_u_no_bc( tSwim(iChilly))  ,
%~                  ground( tSwim(iChilly)) ,
%~                  \+( tSwim(iChilly))),
%~                '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)])))  ,
%~              dmsg_pretty( mpred_undo1( '$nt'( tSwim(iChilly),
%~                                          ( call_u_no_bc( tSwim(iChilly))  ,
%~                                            ground( tSwim(iChilly)) ,
%~                                            \+( tSwim(iChilly))),
%~                                          '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)]))))) ,
%~              retract_u( '$nt'( tSwim(iChilly),
%~                           ( call_u_no_bc( tSwim(iChilly))  ,
%~                             ground( tSwim(iChilly)) ,
%~                             \+( tSwim(iChilly))),
%~                           '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)])))))).
%~ mpred_undo1( '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)])))
%~ success( mpred_undo1_nt_unfwc,
%~   baseKB : ( '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)]))  ,
%~              dmsg_pretty( mpred_undo1( '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)])))) ,
%~              retract_u( '$nt'(~tSwim(iChilly),call_u_no_bc(~tSwim(iChilly)),rhs([tSwim(iChilly)]))))).
%~ success( mpred_undo1_pt_unfwc_2,
%~   baseKB : retract_u( '$pt'( baseKB,
%~                         tSwim(iChilly),
%~                         ( ( ground( tSwim(iChilly))  ,
%~                             \+( tSwim(iChilly)) ,
%~                             \+( tSwim(iChilly) =
%~ 
%~                                   tSwim(iChilly))) *->
%~                           rhs([\+tSwim(iChilly)]))))).
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : mpred_withdraw( tFish(iChilly),
%~                ( mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc ',27) ,
%~                  ax))))
~*/

:- mpred_test( (tSwim(iTweety))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc:30 
%~ ?-( mpred_test("Test_0003_Line_0000__ITweety",baseKB:tSwim(iTweety))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L30  
passed=info(why_was_true(baseKB:tSwim(iTweety)))

Justifications for tSwim(iTweety):
    1.1 \+ ~tSwim(iTweety)  % [/boot/init.pl:512] 
    1.2 \+tSwim(iTweety)  % [/boot/init.pl:512] 
    1.3 \+(tSwim(iTweety)/ground(tSwim(iTweety)),\+tSwim(iTweety)),\+ ~tSwim(iTweety)==>tSwim(iTweety)  % [mfl4(_101910,_101912,_101914,_101916)] 
    1.4 mdefault(tSwim(iTweety))  % [mfl4(_102616,_102618,_102620,_102622)] 
    1.5 (mdefault(W4)/mpred_positive_fact(W4),if_missing_mask(W4,X4,Y4))==>(\+(X4/ground(X4),Y4),\+ ~W4==>W4)  % [pfc/prolog/pfclib/system_mdefault.pfc.pl:61] 
    1.6 tFish(iTweety)  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L8 ] 
    1.7 tFish(W4)==>mdefault(tSwim(W4))  % [mfl4(_105302,_105304,_105306,_105308)] 
    1.8 mfl4(['Q'=_,'R'=_,'Test'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L61 ',61) 
    1.9 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L8 ',8) 
    1.10 mdefault((tFish(W4)==>tSwim(W4)))  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L12 ] 
    1.11 (mdefault((W4==>X4))/nonvar(X4))==>(W4==>mdefault(X4))  % [pfc/prolog/pfclib/system_mdefault.pfc.pl:54] 
    1.12 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc#L12 ',12) 
    1.13 mfl4(['P'=_,'Q'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L54 ',54) 
    name    =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D-Test_0003_Line_0000__ITweety'. 
    JUNIT_CLASSNAME =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D'. 
    JUNIT_CMD   =   'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mdefault_01d.pfc\']"'. 
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/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_MDEFAULT_01D_Test_0003_Line_0000_ITweety-junit.xml
~*/

:- mpred_test( \+ (tSwim(iChilly))).

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/MDEFAULT_01D/logicmoo_pfc_test_sanity_base_MDEFAULT_01D_JUnit/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AMDEFAULT_01D 

% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/577
/*~
%~ ?-( mpred_test("Test_0004_Line_0000__naf_IChilly",baseKB:(\+tSwim(iChilly)))).
passed=info(why_was_true(baseKB:(\+tSwim(iChilly))))
no_proof_for(\+tSwim(iChilly)).

no_proof_for(\+tSwim(iChilly)).

no_proof_for(\+tSwim(iChilly)).

    name    =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D-Test_0004_Line_0000__naf_IChilly'. 
    JUNIT_CLASSNAME =   'logicmoo.pfc.test.sanity_base.MDEFAULT_01D'. 
    JUNIT_CMD   =   'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mdefault_01d.pfc\']"'. 
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/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_MDEFAULT_01D_Test_0004_Line_0000_naf_IChilly-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__ITweety    result  =   passed. 
Test_0002_Line_0000__IChilly    result  =   passed. 
Test_0003_Line_0000__ITweety    result  =   passed. 
Test_0004_Line_0000__naf_IChilly    result  =   passed. 

%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/mdefault_01d.pfc:39 
%~ test_completed_exit(64)

totalTime=1.000

SUCCESS: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k mdefault_01d.pfc (returned 64) Add_LABELS='' Rem_LABELS='Skipped,Errors,Warnings,Overtime,Skipped,Skipped'

TeamSPoon commented 2 years ago

Broken in https://github.com/logicmoo/logicmoo_workspace/commit/66fec9202f59fc963b8899df021230e5ef9bc9ef https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/commit/66fec9202f59fc963b8899df021230e5ef9bc9ef

TeamSPoon commented 2 years ago

Fixed in https://github.com/logicmoo/logicmoo_workspace/commit/b672ec308a3464e4288c920916e39cd6904df469 https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/commit/b672ec308a3464e4288c920916e39cd6904df469