logicmoo.pfc.sanity_base.quick_test.FC_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 "['fc_01.pfc']")

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

%~ 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/fc_01.pfc'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))


:- expects_dialect(pfc).

/*~
~*/


a11 ==> b11.
/*~
~*/

a11.

/*~
~*/


:- mpred_test(b11).

/*~
%~ ?-( mpred_test("Test_0001_Line_0000__B11",baseKB:b11)).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L14  
passed=info(why_was_true(baseKB:b11))

Justifications for b11:
    1.1 a11  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L12 ] 
    1.2 a11==>b11  % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L11 ] 
    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) 
    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) 
	name	=	'logicmoo.pfc.sanity_base.quick_test.FC_01-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\']"'. 
% 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_FC_01_Test_0001_Line_0000_B11-junit.xml
~*/


:- listing(j_u:junit_prop/3).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc:16 
%~ skipped( listing( j_u : junit_prop/3))
~*/


:- test_completed. 




/*~
%~ unused(no_junit_results)
Test_0001_Line_0000__B11	result	=	passed. 

%~ test_completed_exit(64)

totalTime=1.000

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