logicmoo.pfc.sanity_base.quick_test.BC_01 JUnit

[TeamSPoon]

trafficstars

(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']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.sanity_base.quick_test/BC_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ABC_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/635

%~ 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: (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)
%~ %~ 	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))).

	name	=	'logicmoo.pfc.sanity_base.quick_test.BC_01-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\']"'. 
% 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_0003_Line_0000_B-junit.xml
~*/


%= something cached
:- listing(bc_q/1).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc:38 
%~ skipped( listing( bc_q/1))
~*/

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


/*~
%~ ?-( mpred_test("Test_0004_Line_0000__bc_q_1",baseKB:clause_u(bc_q(Q),true))).
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)).

	name	=	'logicmoo.pfc.sanity_base.quick_test.BC_01-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\']"'. 
% 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_0004_Line_0000_bc_q_1-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__B	result	=	passed. 
Test_0002_Line_0000__naf_bc_q_1	result	=	passed. 
Test_0003_Line_0000__B	result	=	passed. 
Test_0004_Line_0000__bc_q_1	result	=	passed. 

%~ test_completed_exit(64)

totalTime=1.000

SUCCESS: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k bc_01.pfc (returned 64) Add_LABELS='' Rem_LABELS='Skipped,Errors,Warnings,Overtime,Skipped,Skipped'