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

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

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

:- if(\+ current_module(attvar_reader)).
:- use_module(library(logicmoo/attvar_reader)).
/*~
~*/

:- endif.
% :- '$set_source_module'(ABox),'$set_typein_module'(ABox).

:- ABox = user, '$set_source_module'(ABox),'$set_typein_module'(ABox).
% Tests Non-module Forward chaining of assertable attributed variables


/*~
~*/

% Tests Non-module Forward chaining of assertable attributed variables


:- debug_logicmoo(_).
/*~
~*/

:- nodebug_logicmoo(http(_)).
/*~
~*/

:- debug_logicmoo(logicmoo(_)).

/*~
~*/


:- mpred_trace_exec.
% :- expects_dialect(pfc).

/*~
~*/

% :- expects_dialect(pfc).

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

:- dynamic(sk_in/1).

% :- process_this_script.


/*~
~*/


% :- process_this_script.


sk_in(Ex)==>sk_out(Ex).

/*~
~*/


sk_in(foo).

/*~
~*/


:- read_attvars(true).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/attvar_03.pfc:40 
%~ install_attvar_expander(user)
~*/

:- set_prolog_flag(access_level,system).

/*~
~*/


sk_in(avar([vn='Ex',sk='SKF-666'])).

/*~
~*/


:- listing(sk_out/1).
/*~
%~ skipped( listing( sk_out/1))
~*/

:- listing(sk_in/1).


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



:- must((sk_in(VAR),get_attr(VAR,sk,What),What='SKF-666')).



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

% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/633
/*~
%~ ?-( mpred_test( "Test_0001_Line_0000__sk_in_1_in_user",
%~       user : ( sk_in(VAR)  ,
%~                get_attr(VAR,sk,What) ,
%~                What='SKF-666'))).
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')).

	name	=	'logicmoo.pfc.sanity_base.quick_test.ATTVAR_03-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\']"'. 
% 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_ATTVAR_03_Test_0001_Line_0000_sk_in_1_in_user-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__sk_in_1_in_user	result	=	failure. 

%~ test_completed_exit(8)

totalTime=1.000

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