logicmoo_workspace icon indicating copy to clipboard operation
logicmoo_workspace copied to clipboard

Published 20 hours ago • verified publisher icon logicmoo

logicmoo.base.examples.fol.SANITY_EXACTLY_01 JUnit

Open TeamSPoon opened this issue 4 years ago • 0 comments
trafficstars

(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['sanity_exactly_01.pfc.pl']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/SANITY_EXACTLY_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EXACTLY_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/437

%~ 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/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))

:- module(t123).   
/*~
~*/
   
:- '$set_source_module'(t123).

% :- process_this_script.

/*~
~*/


% :- process_this_script.

:- statistics.



/*~
% Started at Sat Sep 25 22:53:31 2021
% 1.312 seconds cpu time for 2,327,020 inferences
% 942,168 atoms, 32,345 functors, 31,565 predicates, 752 modules, 15,990,196 VM-codes
% 
%                     Limit   Allocated      In use
% Local  stack:           -       52 Kb    3,920  b
% Global stack:           -      256 Kb      101 Kb
% Trail  stack:           -       66 Kb      488  b
%        Total:    1,024 Mb      374 Kb      105 Kb
% 
% 5 garbage collections gained 471,024 bytes in 0.000 seconds.
% 5 atom garbage collections gained 2,603 atoms in 0.090 seconds.
% 9 clause garbage collections gained 1,743 clauses in 0.000 seconds.
% Stack shifts: 1 local, 2 global, 1 trail in 0.000 seconds
% 3 threads, 0 finished threads used 0.000 seconds
~*/




subtest([subtest_assert(tAnimal(joe)),
        mpred_test(isa(_,tHeart))]).

/*~
No source location!?
~*/


subtest([subtest_assert(tAnimal(joe)),
        mpred_test(hasOrgan(joe,_))]).

/*~
No source location!?
~*/


subtest([subtest_assert(tHeart(_)),
        mpred_test(~hasOrgan(jack,_))]).


/*~
No source location!?
~*/



:- add_test(t121, (all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))))).
/*~


%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.


%~ test_boxlog(t121)


%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.


%~ make_dynamic_here( t123,
%~   '$nt'(
%~      wid( rule1 : 0,
%~        rule,
%~        all(
%~           [ [HasOrgan,tAnimal]],
%~           exactly(1,[[HasOrgan6,tHeart]],hasOrgan(HasOrgan,HasOrgan6)))), Wid,Nt))
%~ correct_special_quantifiers :- all( Human,
%~                                  =>( isa(Human,tAnimal),
%~                                    quant(exactly(1),Heart,hasOrgan(Human,Heart)&isa(Heart,tHeart)))).
%~ %~ correct_special_quantifiers:-all(Human,isa(Human,tAnimal)=>quant(exactly(1),Heart,hasOrgan(Human,Heart)&isa(Heart,tHeart)))
%~ kifi = all(
%~           [ [Human,tAnimal]],
%~           exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))).
%~ kifm = all( Human,
%~          nesc( =>( isa(Human,tAnimal),
%~                  quant(exactly(1),Heart,hasOrgan(Human,Heart)&isa(Heart,tHeart))))).
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),necessary(=>(isa('$VAR'('Human'),tAnimal),quant(exactly(1),'$VAR'('Heart'),and(hasOrgan('$VAR'('Human'),'$VAR'('Heart')),isa('$VAR'('Heart'),tHeart))))))
%~ w_o_c(
%~    error = error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),
%~    t123 : kif_to_boxlog(
%~              all(
%~                 [ [Human,tAnimal]],
%~                 exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))), KB,rule1:0,_692))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl#L25  
(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$toplevel'.   %  toplevel.pl:701: 
(2)$[$toplevel] '$runtoplevel'.   %  toplevel.pl:713: 
(10)$[system] '$load_file'('sanity_exactly_01.pfc.pl',user,'<gt;garbage_collected>').   %  init.pl:2353: 
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',<gt;clause>(0x5631f74d3100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x5631f74d3100),'sanity_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x5631f74d3100)))).  no(clause) 
(14)$[system] '$c_call_prolog'.  no(clause) 
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',<gt;clause>(0x5631f74d3100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x5631f74d3100),'sanity_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x5631f74d3100))).   %  init.pl:646: 
(18)$[system]# '$qdo_load_file'('sanity_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(21)<gt;*>$[system]# '$do_load_file_2'('sanity_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',user,compiled,[expand(false),expand(true)]).   %  init.pl:2592: 
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',1632225669.2618806),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',lexstate(202,swi),user)).   %  init.pl:646: 
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl ',A,[expand(false),expand(true)]).   %  init.pl:3007: 
(31)<gt;*>$[system] '$execute_directive_3'(add_test(t121,all([[A,tAnimal]],exactly(1,[[B,tHeart]],hasOrgan(A,B))))).   %  init.pl:3574: 
(32)$[system] catch(t123:add_test(t121,all([[A,tAnimal]],exactly(1,[[B,tHeart]],hasOrgan(A,B)))),error(C,D),system:'$exception_in_directive'(error(C,D))).   %  init.pl:546: 
(33)[t123] common_logic_sanity:add_test(t121,all([[A,tAnimal]],exactly(1,[[B,tHeart]],hasOrgan(A,B)))).   %  common_logic_sanity.pl:271: 
(35)[t123] common_logic_sanity:test_boxlog([],all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart)))).   %  common_logic_sanity.pl:143: 
(40)[locally_each]# locally_each:wtl_how(t123:ecc,locally_each:clause_true(t_l,t_l:kif_option_list([])),locally_each:key_asserta(t_l,t_l:kif_option_list([])),t123:(\+ \+ (pretty_numbervars_ground(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart)))),kif_optionally_e(never,ain,clif(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))))),kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),locally_each:key_erase(t_l)).   %  redo_locally.pl:217: 
(44)$[system]# setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),each_call_cleanup:((t123:(\+ \+ (pretty_numbervars_ground(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart)))),kif_optionally_e(never,ain,clif(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))))),kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:kif_option_list([])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),C,each_call_cleanup:mquietly(locally_each:key_erase(t_l))).   %  init.pl:646: 
(45)<gt;*>$[each_call_cleanup]# '<gt;meta-call>'(each_call_cleanup:((t123:(\+ \+ (pretty_numbervars_ground(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart)))),kif_optionally_e(never,ain,clif(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))))),kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:kif_option_list([])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail)))).  no(clause) 
(49)[ucatch] ucatch:call_each_det(ucatch:must_det_u,t123:(kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))).   %  ucatch.pl:1775: 
(50)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A)).   %  ucatch.pl:1778: 
(51)$[ucatch] ucatch:p_call(ucatch:must_det_u,t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A)).   %  ucatch.pl:1784: 
(52)$[ucatch]# ucatch:t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A).   %  ucatch.pl:1727: 
(53)<gt;*>$[must_sanity]# must_sanity:t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A).   %  must_sanity.pl:65: 
(54)[t123] common_logic_snark:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A).   %  common_logic_snark.pl:1099: 
(55)<gt;*>[must_sanity]# must_sanity:t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),A,rule1:0).   %  must_sanity.pl:65: 
(56)[t123] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1107: 
(57)[locally_each] locally_each:w_o_c('<gt;garbage_collected>').   %  redo_locally.pl:86: 
(58)$[system] catch(locally_each:w_o_c(error,t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A)),error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A))),break,trace,t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A))).   %  init.pl:546: 
(59)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A))),break,trace,t123:kif_to_boxlog(all([[Human,tAnimal]],exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))),KB,rule1:0,A))).  no(clause) 
(60)[locally_each] dumpst:dumpST.   %  dumpst.pl:150: 
%~ w_o_c(
%~    error = error(uninstantiation_error(Heart),context(put_attr/3,'1-st argument')),
%~    t123 : kif_to_boxlog(
%~              all(
%~                 [ [Human,tAnimal]],
%~                 exactly(1,[[Heart,tHeart]],hasOrgan(Human,Heart))), KB,rule1:0,_692))
% Break level 1

% Exit break level 1
^  Call: (60) [t123] common_logic_snark:kif_to_boxlog(all([[Human, tAnimal]], exactly(1, [[Heart, tHeart]], hasOrgan(Human, Heart))), KB, rule1:0, _692) ? EOF: exit (status 4)
%~ unused(no_junit_results)

%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl:25 
%~ test_completed_exit(0)
%~ message_hook_type(warning)
%~ message_hook(
%~    goal_failed(at_halt,system:test_completed),
%~    warning,
%~    [ 'Goal (~w) failed: ~p' - [ at_halt,
%~                                 system : test_completed]])
Goal (at_halt) failed: system:test_completed
Warning: Goal (at_halt) failed: system:test_completed

totalTime=1.000

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

TeamSPoon avatar Sep 18 '21 22:09 TeamSPoon