logicmoo.pfc.test.sanity_base.FILE_01 JUnit

[TeamSPoon]

(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/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 "['file_01.pfc']")

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

%~ 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@2/packs_sys/pfc/t/sanity_base/file_01.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))

:- expects_dialect(pfc).

/*~
~*/

header_sane:(must_clause_asserted(G):- cwc, must(clause_asserted_u(G))).
/*~
~*/

:-   ain((must_clause_asserted(G):- cwc, must(clause_asserted_u(G)))).

/*~
~*/

must_clause_asserted(G):- cwc, must(clause_asserted_u(G)).

/*~
~*/

:- listing(must_clause_asserted).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/file_01.pfc:22 
%~ skipped( listing(must_clause_asserted))
~*/

:- sanity(predicate_property(must_clause_asserted(_),number_of_clauses(_))).

/*~
%~ ?-( mpred_test( "Test_0001_Line_0000__must_clause_asserted_1",
%~       baseKB : predicate_property(Number_of_clauses,number_of_clauses(Clauses)))).
passed=info(why_was_true(baseKB:predicate_property(must_clause_asserted(_472),number_of_clauses(1))))
no_proof_for(predicate_property(must_clause_asserted(Asserted),number_of_clauses(1))).

no_proof_for(predicate_property(must_clause_asserted(Asserted),number_of_clauses(1))).

no_proof_for(predicate_property(must_clause_asserted(Asserted),number_of_clauses(1))).

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

a.

/*~
~*/

:- listing(a).

/*~
%~ skipped( listing(a))
~*/

:- header_sane:listing(a).

% @TODO - fails here bc must_clause_asserted/1 needs love
/*~
%~ skipped( listing(a))
~*/

% @TODO - fails here bc must_clause_asserted/1 needs love
:- must_clause_asserted(a).

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

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

%~ test_completed_exit(64)

totalTime=1.000

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

[TeamSPoon]

Fixed in https://github.com/logicmoo/logicmoo_workspace/commit/005b698b856a92b51f18328ba02a312f4328960d https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/commit/005b698b856a92b51f18328ba02a312f4328960d