Failed
logicmoo.pfc.test.sanity_base.GSHAPE_01D.logicmoo.pfc.test.sanity_base.GSHAPE_01D@Test_0003_Line_0000__edge_2_in_user: user:(edge(Hop_Edge,Edge_Hop)==>hop(Edge_Hop,Hop_Edge)) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.GSHAPE_01D)
Error Message
failure = "failure=info((why_was_true(user:(\\+ (edge(_14438,_14470)==>hop(_14470,_14438)))),nop(ftrace(user:(edge(_14438,_14470)==>hop(_14470,_14438))))))\nno_proof_for(\\+ (edge(X,Y)==>hop(Y,X))).\n\nno_proof_for(\\+ (edge(X,Y)==>hop(Y,X))).\n\nno_proof_for(\\+ (edge(X,Y)==>hop(Y,X))).\n\n". failure = [].
Standard Error
name=Test_0003_Line_0000__edge_2_in_user JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01D'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01d.pfc\']"'. (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 "['gshape_01d.pfc']") ``` %~ 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/gshape_01d.pfc'), %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) %~ message_hook( %~ error( permission_error(redefine,module,logicmoo_test), %~ context(module/2,'Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl')), %~ error, %~ [ '~q/~w: '-[module,2], %~ 'No permission to ~w ~w `~p\''-[redefine,module,logicmoo_test], %~ ' (~w)'-['Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl']]) %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98 %~ source_location('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl',98) module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl) ERROR: /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98: ERROR: module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl) :- use_module(library(statistics)). %:- mpred_notrace_exec. % reset runtime counter /*~ ~*/ %:- mpred_notrace_exec. % reset runtime counter :- statistics(runtime,_Secs). /*~ ~*/ . subRelation(E,P) ==> (t(E,X,Y) ==> t(P,X,Y)). /*~ ~*/ subRelationD(E,P) ==> ((t(E,X,Y)/(dif(X,Y))) ==> t(P,X,Y)). /*~ ~*/ symmetric(P) ==> (t(P,X,Y) ==> t(P,Y,X)). /*~ %~ warn( really_remake_as_dynamic( %~ clpfd : symmetric(Symmetric), %~ for(baseKB,decl_kb_type(kb_shared,baseKB:symmetric/1)))) %~ warn( really_remake_as_dynamic2(clpfd:symmetric(Symmetric),bc(decl_kb_type(kb_shared,baseKB:symmetric/1)))) ~*/ subRelation(edge,hop). /*~ ~*/ symmetric(hop). % things that cannot be true are removed % unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X). /*~ ~*/ % things that cannot be true are removed % unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X). :- mpred_why(edge(X,Y)==>hop(X,Y)). % bug .. giving the wrong proof! /*~ %~ ?-( mpred_test( "Test_0001_Line_0000__edge_2_in_user", %~ user : edge(X,Y)==>hop(X,Y))). passed=info(why_was_true(user:(edge(_33146,_33168)==>hop(_33146,_33168)))) no_proof_for((edge(X,Y)==>hop(X,Y))). no_proof_for((edge(X,Y)==>hop(X,Y))). no_proof_for((edge(X,Y)==>hop(X,Y))). name='logicmoo.pfc.test.sanity_base.GSHAPE_01D-Test_0001_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01D'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01d.pfc\']"'. % 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_GSHAPE_01D_Test_0001_Line_0000_edge_2_in_user-junit.xml ~*/ % bug .. giving the wrong proof! :- mpred_why(edge(X,Y)==>hop(Y,X)). % bug .. not giving any proof! /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/gshape_01d.pfc:33 %~ ?-( mpred_test( "Test_0002_Line_0000__edge_2_in_user", %~ user : edge(X,Y)==>hop(Y,X))). passed=info(why_was_true(user:(edge(_21462,_21462)==>hop(_21462,_21462)))) no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). name='logicmoo.pfc.test.sanity_base.GSHAPE_01D-Test_0002_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01D'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01d.pfc\']"' goal=user:(edge(_44594,_44596)==>hop(_44596,_44594)). time=0.0005426406860351562. failure=failure=info((why_was_true(user:(\+ (edge(_14438,_14470)==>hop(_14470,_14438)))),nop(ftrace(user:(edge(_14438,_14470)==>hop(_14470,_14438)))))) no_proof_for(\+ (edge(X,Y)==>hop(Y,X))). no_proof_for(\+ (edge(X,Y)==>hop(Y,X))). no_proof_for(\+ (edge(X,Y)==>hop(Y,X))). result=failure.