Failed
logicmoo.pfc.test.sanity_base.TML_01E.logicmoo.pfc.test.sanity_base.TML_01E@Test_0002_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.TML_01E)
Error Message
failure = "failure=info((why_was_true(user:(\\+ (edge(_846,_868)==>hop(_868,_846)))),nop(ftrace(user:(edge(_846,_868)==>hop(_868,_846))))))\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_0002_Line_0000__edge_2_in_user JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01E'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01e.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 "['tml_01e.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/tml_01e.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']]) %~ 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. /*~ ~*/ :- statistics. /*~ % Started at Mon Sep 27 03:21:37 2021 % 1.088 seconds cpu time for 2,126,054 inferences % 941,735 atoms, 32,339 functors, 31,547 predicates, 747 modules, 15,986,630 VM-codes % % Limit Allocated In use % Local stack: - 52 Kb 3,920 b % Global stack: - 256 Kb 172 Kb % Trail stack: - 66 Kb 944 b % Total: 1,024 Mb 374 Kb 177 Kb % % 2 garbage collections gained 95,656 bytes in 0.000 seconds. % 4 atom garbage collections gained 2,671 atoms in 0.066 seconds. % 8 clause garbage collections gained 1,839 clauses in 0.000 seconds. % Stack shifts: 1 local, 2 global, 1 trail in 0.000 seconds % 3 threads, 0 finished threads used 0.000 seconds ~*/ :- cls. % reset runtime counter /*~ %~ skipped(messy_on_output,cls) ~*/ % reset runtime counter :- statistics(runtime,_Secs). /*~ ~*/ . transitive(P) ==> ((t(P,X,Y),t(P,Y,Z)/(dif(X,Y),dif(Y,Z),dif(X,Z)))==> t(P, X, Z)). /*~ ~*/ taxinomicPair(E,P) ==> (t(P,X,Y),t(E,Y,Z) ==> t(P, X, Z)). /*~ ~*/ subRelation(E,P) ==> ((t(E,X,Y)/(dif(X,Y))) ==> t(P,X,Y)). /*~ ~*/ edge(1,2). /*~ ~*/ edge(2,3). /*~ ~*/ edge(3,4). /*~ ~*/ subRelation(edge,hop). /*~ ~*/ subRelation(hop,path). /*~ ~*/ symmetric(hop). /*~ ~*/ symmetric(P) ==> (t(P,X,Y) ==> t(P,Y,X)). /*~ ~*/ antisymmetric(P)/fail ==> (t(P,X,Y) <gt;==> ~t(P,Y,X)). /*~ ~*/ reflexive(P) ==> t(P,X,X). /*~ ~*/ antireflexive(P) ==> ~t(P,X,X). /*~ ~*/ :- cls. % things that cannot be true are removed % unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X). /*~ %~ skipped(messy_on_output,cls) ~*/ % 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))). failure=info((why_was_true(user:(\+ (edge(_4066,_4088)==>hop(_4066,_4088)))),nop(ftrace(user:(edge(_4066,_4088)==>hop(_4066,_4088)))))) 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.TML_01E-Test_0001_Line_0000__edge_2_in_user'. JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01E'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01e.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--Uni goal=user:(edge(_30300,_30302)==>hop(_30302,_30300)). time=0.0005075931549072266. failure=failure=info((why_was_true(user:(\+ (edge(_846,_868)==>hop(_868,_846)))),nop(ftrace(user:(edge(_846,_868)==>hop(_868,_846)))))) 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.