Test Report : Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-junitCombined-rollup.tmp

Test Suite: logicmoo.pfc.sanity_base.quick_test.ATTVAR_03

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures1

Tests

logicmoo.pfc.sanity_base.quick_test.ATTVAR_03

Test case:logicmoo.pfc.sanity_base.quick_test.ATTVAR_03@Test_0001_Line_0000__sk_in_1_in_user: user:(sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')
Outcome:Failed
Duration:0.0 sec
Failedfailure = "failure=info((why_was_true(user:(\\+ (sk_in(_28160),get_attr(_28160,sk,_28182),_28182='SKF-666'))),nop(ftrace(user:(sk_in(_28160),get_attr(_28160,sk,_28182),_28182='SKF-666')))))\nno_proof_for(\\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).\n\nno_proof_for(\\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).\n\nno_proof_for(\\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).\n\n". failure = [].
failed
Stderr
name=Test_0001_Line_0000__sk_in_1_in_user
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.ATTVAR_03'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'attvar_03.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['attvar_03.pfc']")

```
goal=user:(sk_in(_62338),get_attr(_62338,sk,_62352),_62352='SKF-666').
time=0.0005528926849365234.
failure=failure=info((why_was_true(user:(\+ (sk_in(_28160),get_attr(_28160,sk,_28182),_28182='SKF-666'))),nop(ftrace(user:(sk_in(_28160),get_attr(_28160,sk,_28182),_28182='SKF-666')))))
no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).

no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).

no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).

result=failure.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0001_Line_0000__B: baseKB:call_u(bc_p(b))
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0001_Line_0000__B
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.pfc']")

```
goal=baseKB:call_u(bc_p(b)).
time=0.00015664100646972656.
passed=passed=info(why_was_true(baseKB:call_u(bc_p(b))))
no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

result=passed.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0002_Line_0000__naf_bc_q_1: baseKB:(\\+clause_u(bc_q(Q1),true))
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0002_Line_0000__naf_bc_q_1
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.pfc']")

```
goal=baseKB:(\+clause_u(bc_q(_25108),true)).
time=0.00012183189392089844.
passed=passed=info(why_was_true(baseKB:(\+clause_u(bc_q(_2540),true))))
no_proof_for(\+clause_u(bc_q(Q1),true)).

no_proof_for(\+clause_u(bc_q(Q1),true)).

no_proof_for(\+clause_u(bc_q(Q1),true)).

result=passed.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.1 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0003_Line_0000__B: baseKB:call_u(bc_q(b))
Outcome:Passed
Duration:0.1 sec
FailedNone
None
Stderr
name=Test_0003_Line_0000__B
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.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/quick_test/bc_01.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))


:- dynamic(bc_q/1).
/*~
~*/

:- dynamic(bc_p/1).

/*~
~*/

:- (ain((bc_q(N) <gt;- bc_p(N)))).
/*~
~*/

:- listing(bc_q/1).

/*~
%~ skipped( listing( bc_q/1))
~*/

bc_p(a).
/*~
~*/

bc_p(b).
/*~
~*/

:- listing(bc_p/1).

/*~
%~ skipped( listing( bc_p/1))
~*/

:- mpred_trace_exec.

/*~
~*/

:- mpred_test(call_u(bc_p(b))).

%= nothing cached ?
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__B",baseKB:call_u(bc_p(b)))).
passed=info(why_was_true(baseKB:call_u(bc_p(b))))
no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

name='logicmoo.pfc.sanity_base.quick_test.BC_01-Test_0001_Line_0000__B'.
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_BC_01_Test_0001_Line_0000_B-junit.xml
~*/

%= nothing cached ?
:- listing(bc_q/1).

/*~
%~ skipped( listing( bc_q/1))
~*/

:- mpred_test(\+ clause_u(bc_q(_),true)).

/*~
%~ ?-( mpred_test("Test_0002_Line_0000__naf_bc_q_1",baseKB:(\+clause_u(bc_q(Q),true)))).
passed=info(why_was_true(baseKB:(\+clause_u(bc_q(_2540),true))))
no_proof_for(\+clause_u(bc_q(Q1),true)).

no_proof_for(\+clause_u(bc_q(Q1),true)).

no_proof_for(\+clause_u(bc_q(Q1),true)).

name='logicmoo.pfc.sanity_base.quick_test.BC_01-Test_0002_Line_0000__naf_bc_q_1'.
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_BC_01_Test_0002_Line_0000_naf_bc_q_1-junit.xml
~*/

:- mpred_test((call_u(bc_q(b)))).

%= something cached
/*~
%~ ?-( mpred_test("Test_0003_Line_0000__B",baseKB:call_u(bc_q(b)))).
%~ %~ Adding positive
%~ %~ trigger: bc_p(b)
%~ %~ body: rhs([ bc_q(b)])
%~ %~  Support: (bc_q(P_Q)<gt;-bc_p(P_Q)),mfl4(['N'=N],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc#L19 ',19)
%~ call_mpred_post4 :-
%~   level=147 ,
%~   que=0 ,
%~   assertion_status=unique ,
%~   support_status=none ,
%~   post1 = mpred_prop(baseKB,bc_p,1,pfcPosTrigger) ,
%~   fix_mp=baseKB ,
%~   mz=baseKB ,
%~   p0 = mpred_prop(baseKB,bc_p,1,pfcPosTrigger) ,
%~   support_fact = ( bc_q(_2028)<gt;-bc_p(_2028) ,
%~                    mfl4(
%~                       [ 'N'=N],
%~                        baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc', 19)) ,
%~   support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,bc_p,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger)
%~ %~ body: \+ground((bc_p/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,bc_p,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,bc_p,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,bc_p,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~   level=185 ,
%~   que=0 ,
%~   assertion_status=un
goal=baseKB:call_u(bc_q(b)).
time=0.07241511344909668.
passed=passed=info(why_was_true(baseKB:call_u(bc_q(b))))
no_proof_for(call_u(bc_q(b))).

%~ %~ Adding positive
%~ %~ trigger: bc_p(b)
%~ %~ body: rhs([ bc_q(b)])
%~ %~  Support: (bc_q(P_Q)<-bc_p(P_Q)),mfl4(['N'=N],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc#L19 ',19)
%~ %~ RHS-Post1: bc_q(b)
%~ %~ Support: bc_p(b),$pt(baseKB,bc_p(b),rhs([ bc_q(b)]))
%~ call_mpred_post4 :-
%~   level=191 ,
%~   que=0 ,
%~   assertion_status=identical ,
%~   support_status=exact ,
%~   post1 = bc_q(b) ,
%~   fix_mp=baseKB ,
%~   mz=baseKB ,
%~   p0 = bc_q(b) ,
%~   support_fact = bc_p(b) ,
%~   support_trig = '$pt'(baseKB,bc_p(b),rhs([bc_q(b)])).
no_proof_for(call_u(bc_q(b))).

no_proof_for(call_u(bc_q(b))).

result=passed.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0004_Line_0000__bc_q_1: baseKB:clause_u(bc_q(Q1),true)
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0004_Line_0000__bc_q_1
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.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/quick_test/bc_01.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))


:- dynamic(bc_q/1).
/*~
~*/

:- dynamic(bc_p/1).

/*~
~*/

:- (ain((bc_q(N) <gt;- bc_p(N)))).
/*~
~*/

:- listing(bc_q/1).

/*~
%~ skipped( listing( bc_q/1))
~*/

bc_p(a).
/*~
~*/

bc_p(b).
/*~
~*/

:- listing(bc_p/1).

/*~
%~ skipped( listing( bc_p/1))
~*/

:- mpred_trace_exec.

/*~
~*/

:- mpred_test(call_u(bc_p(b))).

%= nothing cached ?
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__B",baseKB:call_u(bc_p(b)))).
passed=info(why_was_true(baseKB:call_u(bc_p(b))))
no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

name='logicmoo.pfc.sanity_base.quick_test.BC_01-Test_0001_Line_0000__B'.
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_BC_01_Test_0001_Line_0000_B-junit.xml
~*/

%= nothing cached ?
:- listing(bc_q/1).

/*~
%~ skipped( listing( bc_q/1))
~*/

:- mpred_test(\+ clause_u(bc_q(_),true)).

/*~
%~ ?-( mpred_test("Test_0002_Line_0000__naf_bc_q_1",baseKB:(\+clause_u(bc_q(Q),true)))).
passed=info(why_was_true(baseKB:(\+clause_u(bc_q(_2540),true))))
no_proof_for(\+clause_u(bc_q(Q1),true)).

no_proof_for(\+clause_u(bc_q(Q1),true)).

no_proof_for(\+clause_u(bc_q(Q1),true)).

name='logicmoo.pfc.sanity_base.quick_test.BC_01-Test_0002_Line_0000__naf_bc_q_1'.
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_BC_01_Test_0002_Line_0000_naf_bc_q_1-junit.xml
~*/

:- mpred_test((call_u(bc_q(b)))).

%= something cached
/*~
%~ ?-( mpred_test("Test_0003_Line_0000__B",baseKB:call_u(bc_q(b)))).
%~ %~ Adding positive
%~ %~ trigger: bc_p(b)
%~ %~ body: rhs([ bc_q(b)])
%~ %~  Support: (bc_q(P_Q)<gt;-bc_p(P_Q)),mfl4(['N'=N],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc#L19 ',19)
%~ call_mpred_post4 :-
%~   level=147 ,
%~   que=0 ,
%~   assertion_status=unique ,
%~   support_status=none ,
%~   post1 = mpred_prop(baseKB,bc_p,1,pfcPosTrigger) ,
%~   fix_mp=baseKB ,
%~   mz=baseKB ,
%~   p0 = mpred_prop(baseKB,bc_p,1,pfcPosTrigger) ,
%~   support_fact = ( bc_q(_2028)<gt;-bc_p(_2028) ,
%~                    mfl4(
%~                       [ 'N'=N],
%~                        baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc', 19)) ,
%~   support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,bc_p,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger)
%~ %~ body: \+ground((bc_p/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,bc_p,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,bc_p,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,bc_p,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~   level=185 ,
%~   que=0 ,
%~   assertion_status=unique ,
%~   support_status=none ,
%~   post1 = mpred_prop(baseKB,bc_p,1,pfcWatches) ,
%~   fix_mp=baseKB ,
%~   mz=baseKB ,
%~   p0 = mpred_prop(baseKB,bc_p,1,pfcWatches) ,
%~   support_fact = mpred_prop(baseKB,bc_p,1,pfcPosTrigger) ,
%~   support_trig = '$pt'( baseKB,
%~                    mpred_prop(baseKB,bc_p,1,pfcPosTrigger),
%~                    rhs([mpred_prop(baseKB,bc_p,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,bc_p,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcWatches)
%~ %~ body: \+ground((bc_p/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : bc_p/1) }])
%~ call_mpred_post4 :-
%~   level=302 ,
%~   que=0 ,
%~   assertion_status=unique ,
%~   support_status=none ,
%~   post1 = mpred_prop(baseKB,bc_p,1,kb_shared) ,
%~   fix_mp=baseKB ,
%~   mz=baseKB ,
%~   p0 = mpred_prop(baseKB,bc_p,1,kb_shared) ,
%~   support_fact = mfl4(_28554,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc',35) ,
%~   support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,bc_p,1,kb_shared)).
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,kb_shared)
%~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~                                                                                          call(kb_shared,Call_BaseKB:bc_p/1))),
%~ %~                                                                      show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~                                                                                                 call(kb_shared,Call_BaseKB:bc_p/1))) }])))
%~ %~ Adding positive
%~ %~ trigger: genlMt(BaseKB,baseKB)
%~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~                                                   call(kb_shared,Call_BaseKB:bc_p/1))),
%~ %~                               show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~                                                          call(kb_shared,Call_BaseKB:bc_p/1))) }])
%~ %~  Support: mpred_prop(baseKB,bc_p,1,kb_shared),$pt(baseKB,mpred_prop(baseKB,bc_p,1,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs(
%~ %~                             [ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~                                                     call(kb_shared,Call_BaseKB:bc_p/1))),
%~ %~                                 show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~                                                            call(kb_shared,Call_BaseKB:bc_p/1))) }]))))
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,kb_shared)
%~ %~ body: \+ground((bc_p/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,kb_shared)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,kb_shared)
%~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,bc_p,1,Prop_GenlPreds_Kb_shared)])
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,bc_p,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,bc_p,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: bc_q(b)
%~ %~ Support: bc_p(b),$pt(baseKB,bc_p(b),rhs([ bc_q(b)]))
%~ call_mpred_post4 :-
%~   level=139 ,
%~   que=0 ,
%~   assertion_status=unique ,
%~   support_status=none ,
%~   post1 = bc_q(b) ,
%~   fix_mp=baseKB ,
%~   mz=baseKB ,
%~   p0 = bc_q(b) ,
%~   support_fact = bc_p(b) ,
%~   support_trig = '$pt'(baseKB,bc_p(b),rhs([bc_q(b)])).
%~ baseKB : mpred_fwc1( bc_q(b)).
passed=info(why_was_true(baseKB:call_u(bc_q(b))))
no_proof_for(call_u(bc_q(b))).

%~ %~ Adding positive
%~ %~ trigger: bc_p(b)
%~ %~ body: rhs([ bc_q(b)])
%~ %~  Support:
goal=baseKB:clause_u(bc_q(_113786),true).
time=0.00011491775512695312.
passed=passed=info(why_was_true(baseKB:clause_u(bc_q(b),true)))
no_proof_for(clause_u(bc_q(b),true)).

no_proof_for(clause_u(bc_q(b),true)).

no_proof_for(clause_u(bc_q(b),true)).

result=passed.

Test Suite: logicmoo.pfc.sanity_base.quick_test.FC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.FC_01

Test case:logicmoo.pfc.sanity_base.quick_test.FC_01@Test_0001_Line_0000__B11: baseKB:b11
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0001_Line_0000__B11
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.FC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['fc_01.pfc']")

```
goal=baseKB:b11.
time=0.00011587142944335938.
passed=passed=info(why_was_true(baseKB:b11))

Justifications for b11:
36m    1.1 a11 0m90m % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L12 ] 0m36m
    1.2 a11==>b11 0m90m % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L11 ] 0m36m
    1.3 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L12 ',12) 0m36m
    1.4 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L11 ',11) 0m

result=passed.