Failed

logicmoo.pfc.test.sanity_base.MT_01A.logicmoo.pfc.test.sanity_base.MT_01A@Test_0004_Line_0000__Header_sane_in_myMt: myMt:(fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y)) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.MT_01A)

Failing for the past 1 build (Since #9 )

Took 0 ms.

Failed with 0 retries

Run 1:

Error Message

failure = "failure=info((why_was_true(myMt:(\\+ (fix_mp(clause(_556,_560),header_sane:loves(x,y),_564,_568),_564:_568==socialMt:loves(x,y)))),nop(ftrace(myMt:(fix_mp(clause(_556,_560),header_sane:loves(x,y),_564,_568),_564:_568==socialMt:loves(x,y))))))\nno_proof_for(\\+ (fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))).\n\nno_proof_for(\\+ (fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))).\n\nno_proof_for(\\+ (fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))).\n\n". failure = [].

Standard Error

name=Test_0004_Line_0000__Header_sane_in_myMt
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01a.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 "['mt_01a.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/mt_01a.pl'),
%~ this_test_might_need( :-( expects_dialect(pfc)))
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))

:- pfc_test_feature(mt,must_not_be_pfc_file).
/*~
~*/

:- pfc_test_feature(mt,\+ mtHybrid(header_sane)).
/*~
~*/

:- pfc_test_feature(mt,header_sane:listing(mtHybrid/1)).

/*~
~*/

:- wdmsg(feature_test_may_fail).

%:- set_defaultAssertMt(header_sane).

/*~
%~ feature_test_may_fail.
~*/

%:- set_defaultAssertMt(header_sane).

baseKB:mtHybrid(socialMt).

/*~
No source location!?
~*/

:- must(baseKB:mtHybrid(socialMt)).

/*~
%~ ?-( mpred_test("Test_0001_Line_0000__SocialMt",baseKB:mtHybrid(socialMt))).
passed=info(why_was_true(baseKB:mtHybrid(socialMt)))
no_proof_for(mtHybrid(socialMt)).

no_proof_for(mtHybrid(socialMt)).

no_proof_for(mtHybrid(socialMt)).

name='logicmoo.pfc.test.sanity_base.MT_01A-Test_0001_Line_0000__SocialMt'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01a.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_MT_01A_Test_0001_Line_0000_SocialMt-junit.xml
~*/

:- header_sane:listing(mtHybrid/1).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/mt_01a.pl:25
%~ skipped( listing( mtHybrid/1))
~*/


:- set_defaultAssertMt(myMt).

%:- on_f_rtrace((on_x_rtrace(expects_dialect(pfc)),is_pfc_file)).

/*~
%~ pfc_iri : include_module_file(myMt:library('pfclib/system_each_module.pfc'),myMt).
~*/

%:- on_f_rtrace((on_x_rtrace(expects_dialect(pfc)),is_pfc_file)).

baseKB:arity(loves,2).

/*~
No source location!?
~*/

:- ((ain(baseKB:predicateConventionMt(loves,socialMt)))).

% :- socialMt:listing(loves/2).

% :- header_sane:listing(predicateConventionMt/2).

/*~
~*/

% :- socialMt:listing(loves/2).

% :- header_sane:listing(predicateConventionMt/2).

:- must((fix_mp(clause(_,_),loves(x,y),M,P),
   M:P==socialMt:loves(x,y))).

/*~
%~ ?-( mpred_test( "Test_0002_Line_0000__clause_2_in_myMt",
%~       myMt : ( fix_mp(clause(Clause,Clause3),loves(x,y),M,P) ,
%~                M:P==socialMt:loves(x,y)))).
failure=info((why_was_true(myMt:(\+ (fix_mp(clause(_5116,_5138),loves(x,y),_5160,_5182),_5160:_5182==socialMt:loves(x,y)))),nop(ftrace(myMt:(fix_mp(clause(_5116,_5138),loves(x,y),_5160,_5182),_5160:_5182==socialMt:loves(x,y))))))
no_proof_for(\+ (fix_mp(clause(Clause4,Clause6),loves(x,y),Loves,Mp),Loves:Mp==socialMt:loves(x,y))).

no_proof_for(\+ (fix_mp(clause(Clause4,Clause6),loves(x,y),Loves,Mp),Loves:Mp==socialMt:loves(x,y))).

no_proof_for(\+ (fix_mp(clause(Clause4,Clause6),loves(x,y),Loves,Mp),Loves:Mp==socialMt:loves(x,y))).

name='logicmoo.pfc.test.sanity_base.MT_01A-Test_0002_Line_0000__clause_2_in_myMt'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_01a.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_MT_01A_Test_0002_Line_0000_clause_2_in_myMt-junit.xml
~*/

:- must((fix_mp(clause(_,_),foo:loves(x,y),M,P),
   M:P==socialMt:loves(x,y))).

/*~
%~ ?-( mpred_test( "Test_0003_Line_0000__clause_2_in_myMt",
%~       myMt : ( fix_mp(clause(Clause,Clause3),foo:loves(x,y),M,P) ,
%~                M:P==socialMt:loves(x,y)))).
failure=info((why_was_true(myMt:(\+ (fix_mp(clause(_29474,_29496),foo:loves(x,y),_29518,_2954
goal=myMt:(fix_mp(clause(_22526,_22528),header_sane:loves(x,y),_22520,_22522),_22520:_22522==socialMt:loves(x,y)).
time=0.0002970695495605469.
failure=failure=info((why_was_true(myMt:(\+ (fix_mp(clause(_556,_560),header_sane:loves(x,y),_564,_568),_564:_568==socialMt:loves(x,y)))),nop(ftrace(myMt:(fix_mp(clause(_556,_560),header_sane:loves(x,y),_564,_568),_564:_568==socialMt:loves(x,y))))))
no_proof_for(\+ (fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))).

no_proof_for(\+ (fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))).

no_proof_for(\+ (fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))).

result=failure.