Failed
logicmoo.pfc.test.sanity_base.MT_01A.logicmoo.pfc.test.sanity_base.MT_01A@Test_0005_Line_0000__loves_2_in_socialMt_in_myMt: myMt:clause_u(socialMt:loves(Loves2,Loves3)) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.MT_01A)
Error Message
failure = "failure=info((why_was_true(myMt:(\\+clause_u(socialMt:loves(_65402,_65424)))),nop(ftrace(myMt:clause_u(socialMt:loves(_65402,_65424))))))\nno_proof_for(\\+clause_u(socialMt:loves(Loves2,Loves3))).\n\nno_proof_for(\\+clause_u(socialMt:loves(Loves2,Loves3))).\n\nno_proof_for(\\+clause_u(socialMt:loves(Loves2,Loves3))).\n\n". failure = [].
Standard Error
name=Test_0005_Line_0000__loves_2_in_socialMt_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:clause_u(socialMt:loves(_99260,_99262)). time=0.00014448165893554688. failure=failure=info((why_was_true(myMt:(\+clause_u(socialMt:loves(_65402,_65424)))),nop(ftrace(myMt:clause_u(socialMt:loves(_65402,_65424)))))) no_proof_for(\+clause_u(socialMt:loves(Loves2,Loves3))). no_proof_for(\+clause_u(socialMt:loves(Loves2,Loves3))). no_proof_for(\+clause_u(socialMt:loves(Loves2,Loves3))). result=failure.