Failed

logicmoo.pfc.test.sanity_base.GSHAPE_01A.logicmoo.pfc.test.sanity_base.GSHAPE_01A@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.GSHAPE_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(user:(\\+ (edge(_34678,_34710)==>hop(_34710,_34678)))),nop(ftrace(user:(edge(_34678,_34710)==>hop(_34710,_34678))))))\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.GSHAPE_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01a.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_01a.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_01a.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98
%~ 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.
% 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)).

/*~
%~ ?-( 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_01A-Test_0001_Line_0000__edge_2_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.GSHAPE_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'gshape_01a.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_01A_Test_0001_Line_0000_edge_2_in_user-junit.xml
~*/

:- with_vars_locked([X,Y],mpred_why(edge(X,Y)==>hop(X,Y))).

% bug .. giving the wrong proof!
/*~
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))).

~*/

% bug .. giving the wrong proof!
:- with_vars_locked([X,Y],mpred_why(edge(X,Y)==>hop(Y,X))).

% bug .. not giving any proof!
/*~
no_proof_for((edge(X,Y)==>hop(Y,X))).

no_proof_for((edge(X,Y)==>hop(Y,X))).

~*/


% bug .. not giving any proof!
:- dif(X,Y), mpred_why(edge(X,Y)==>hop(Y,X)).


% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/gshape_01a.pfc
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/GSHAPE_01A/logicmoo_pfc_test_sanity_base_GSHAPE_01A_JUnit/
% ISSUE_SEARCH: https://github.com/logicmoo/lo
goal=user:(edge(_5290,_5292)==>hop(_5292,_5290)).
time=0.0004992485046386719.
failure=failure=info((why_was_true(user:(\+ (edge(_34678,_34710)==>hop(_34710,_34678)))),nop(ftrace(user:(edge(_34678,_34710)==>hop(_34710,_34678))))))
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.