logicmoo.pfc.test.sanity_base.DL_01 JUnit

[TeamSPoon]

trafficstars

(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 "['dl_01.pfc']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/dl_01.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/DL_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ADL_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/92

%~ 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/dl_01.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))


:- dynamic(meta_argtypes/1).

/*~
~*/


:- expects_dialect(pfc).

/*~
~*/


:- include('df_include.pi').

/*~
running(-),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:44 
%~ reload_of_test_header.
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
~*/


:-dynamic((a/1,b/1,c/1)).

/*~
~*/


a(X) ==> c(X).
/*~
~*/

a(1).

/*~
~*/


most(c(X) ==> b(X)) .

/*~
~*/


:- listing([a/1,b/1,c/1,(==>)/2,most/1,pt,nt,bct]).


% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/92 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/dl_01.pfc 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/DL_01/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ADL_01 

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/dl_01.pfc:28 
%~ skipped( listing( [ a/1, b/1,c/1,(==>)/2,most/1,pt,
%~                     nt,bct]))
~*/
%~ unused(no_junit_results)

%~ test_completed_exit(0)

totalTime=1.000

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