logicmoo.base.examples.fol.BOXLOG_SANITY_04 JUnit

[TeamSPoon]

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 "['boxlog_sanity_04.pfc.pl']")

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

%~ 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/boxlog_sanity_04.pfc.pl'),
%~ /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))))


:- set_prolog_flag(retry_undefined,false).

/*~
~*/


:- ensure_loaded(library(script_files)).


%:- ensure_abox(kbii).
/*~
~*/



%:- ensure_abox(kbii).
:- set_fileAssertMt(kbii).


% :- process_this_script.


/*~
%~ set_fileAssertMt(kbii)
~*/



% :- process_this_script.


:- set_prolog_flag(os_argv,[swipl, '-f', '/dev/null','--nonet']).


/*~
~*/



:- cls.



% autoloading script_files:read_line_to_string/2 from /home/prologmud_server/lib/swipl-7.5.15/library/readutil
% ================================================================================================================
% Exactly 1 puppy
% ================================================================================================================



/*~
%~ skipped(messy_on_output,cls)
~*/




% autoloading script_files:read_line_to_string/2 from /home/prologmud_server/lib/swipl-7.5.15/library/readutil
% ================================================================================================================
% Exactly 1 puppy
% ================================================================================================================



:- test_boxlog(exactly(1, X, puppy(X))).

 
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl:33 
%~ ?-( mpred_test("Test_0001_Line_0000__puppy_1",baseKB:test_boxlog(exactly(1,X,puppy(X))))).
%~ correct_special_quantifiers :- quant(exactly(1),X,puppy(X)).
%~ %~ correct_special_quantifiers:-quant(exactly(1),X,puppy(X))
%~ kifi = exactly(1,X,puppy(X)).
%~ kifm = nesc( quant(exactly(1),X,puppy(X))).
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('X'),puppy('$VAR'('X'))))
%~ w_o_c(
%~    error = error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,_1514))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl#L33  
(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$toplevel'.   %  toplevel.pl:701: 
(2)$[$toplevel] '$runtoplevel'.   %  toplevel.pl:713: 
(10)$[system] '$load_file'('boxlog_sanity_04.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/boxlog_sanity_04.pfc.pl ',<gt;clause>(0x55704443d100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x55704443d100),'boxlog_sanity_04.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x55704443d100)))).  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/boxlog_sanity_04.pfc.pl ',<gt;clause>(0x55704443d100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x55704443d100),'boxlog_sanity_04.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x55704443d100))).   %  init.pl:646: 
(18)$[system]# '$qdo_load_file'('boxlog_sanity_04.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl ',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(21)<gt;*>$[system]# '$do_load_file_2'('boxlog_sanity_04.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.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/boxlog_sanity_04.pfc.pl ',1632225664.1459992),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.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/boxlog_sanity_04.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/boxlog_sanity_04.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_04.pfc.pl ',A,[expand(false),expand(true)]).   %  init.pl:3007: 
(31)<gt;*>$[system] '$execute_directive_3'(mpred_test(test_boxlog(exactly(1,A,puppy(A))))).   %  init.pl:3574: 
(32)$[system] catch(baseKB:mpred_test(test_boxlog(exactly(1,A,puppy(A)))),error(B,C),system:'$exception_in_directive'(error(B,C))).   %  init.pl:546: 
(34)<gt;*>[logicmoo_test] logicmoo_test:mpred_test(A,'<gt;garbage_collected>').   %  logicmoo_test.pl:81: 
(35)$[logicmoo_test] logicmoo_test:mpred_test_fok('<gt;garbage_collected>','<gt;garbage_collected>').   %  logicmoo_test.pl:84: 
(39)[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(43)$[system] goal=setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:mpred_current_testcase("Test_0001_Line_0000__puppy_1")),each_call_cleanup:((logicmoo_test:(must_det_l((wdmsg((?-mpred_test("Test_0001_Line_0000__puppy_1",baseKB:test_boxlog(exactly(1,_38206,puppy(_38206)))))),add_test_info("Test_0001_Line_0000__puppy_1",goal,baseKB:test_boxlog(exactly(1,_38206,puppy(_38206)))),ignore((source_location(_38258,_38260),atom(_38258),add_test_info("Test_0001_Line_0000__puppy_1",src,_38258:_38260),sformat(_38312,'~w#L~w',[_38258,_38260]),replace_in_string(["/opt/logicmoo_workspace"="https://logicmoo.org/gitlab/logicmoo/logicmoo_workspace/-/edit/master"],_38312,_38342),add_test_info("Test_0001_Line_0000__puppy_1",url,_38342))),get_time(1632636102.6300247))),nb(0)=nb(0),catch((call_u_hook(baseKB:test_boxlog(exactly(1,_38206,puppy(_38206))))*->_38468=passed;_38468=failure),_38446,_38468=error(_38446)),notrace(ignore(must_det_l((get_time(_38514),_38524 is _38514-1632636102.6300247,add_test_info("Test_0001_Line_0000__puppy_1",time,_38524),process_test_result(_38468,baseKB:test_boxlog(exactly(1,_38206,puppy(_38206)))),_38468=..[_38592|_38594],add_test_info("Test_0001_Line_0000__puppy_1",_38592,_38594),add_test_info("Test_0001_Line_0000__puppy_1",result,_38592),ignore((getenv('TEE_FILE',_38662),must_det_l((read_file_to_string(_38662,_38678,[]),add_test_info("Test_0001_Line_0000__puppy_1",out,_38678),save_single_testcase("Test_0001_Line_0000__puppy_1"),nop(kill_junit_tee))))))))),(_38468=error(_38446)->throw(_38446);true),nb_setarg(1,nb(0),1)),deterministic(_38776)),(notrace(_38776==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:mpred_current_testcase("Test_0001_Line_0000__puppy_1")),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),_38088,each_call_cleanup:mquietly(locally_each:key_erase(t_l)))   %  init.pl:646: 
(44)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(45)$[system] catch(logicmoo_test:(call_u_hook(baseKB:test_boxlog(exactly(1,A,puppy(A))))*->B=passed;B=failure),C,logicmoo_test:(B=error(C))).   %  init.pl:546: 
(46)<gt;*>$[logicmoo_test] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(49)$[system] catch(logicmoo_test:call_with_time_limit(30,w_o_c(call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A)))))),B,logicmoo_test:wdmsg((call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A))))->B))).   %  init.pl:546: 
(50)[time] time:call_with_time_limit(30,'<gt;garbage_collected>').   %  time.pl:135: 
(52)[system] setup_call_catcher_cleanup(time:alarm(30,time_limit_exceeded(30),'$alarm'(93940670028592),[install(false)]),time:run_alarm_goal('$alarm'(93940670028592),logicmoo_test:w_o_c(call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A)))))),B,time:remove_alarm_notrace('$alarm'(93940670028592))).   %  init.pl:646: 
(53)$[time] time:run_alarm_goal('<gt;garbage_collected>','<gt;garbage_collected>').   %  time.pl:145: 
(55)$[system] catch(locally_each:w_o_c(error,logicmoo_test:call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A))))),B,locally_each:(wdmsg(w_o_c(error=B,logicmoo_test:call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A)))))),dumpST,wdmsg(w_o_c(error=B,logicmoo_test:call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A)))))),break,trace,logicmoo_test:call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A)))))).   %  init.pl:546: 
(59)[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(62)$[system] setup_call_catcher_cleanup(locally_each:set_prolog_flag(occurs_check,error),each_call_cleanup:((logicmoo_test:call(call,call_u,baseKB:test_boxlog(exactly(1,A,puppy(A)))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:set_prolog_flag(occurs_check,false)),notrace(nb_setarg(1,mquietly(locally_each:set_prolog_flag(occurs_check,false)),true));locally_each:set_prolog_flag(occurs_check,error),notrace(nb_setarg(1,mquietly(locally_each:set_prolog_flag(occurs_check,false)),locally_each:set_prolog_flag(occurs_check,false))),notrace(fail))),C,each_call_cleanup:mquietly(locally_each:set_prolog_flag(occurs_check,false))).   %  init.pl:646: 
(63)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(64)[system] call('<gt;garbage_collected>',call_u,'<gt;garbage_collected>').   %  init.pl:487: 
(65)$[system] call('<gt;garbage_collected>','<gt;garbage_collected>').   %  init.pl:485: 
(68)[pfc_lib] pfc_lib:call_mp(baseKB,'<gt;garbage_collected>').   %  mpred_core.pl:3016: 
(69)$[system] call('<gt;garbage_collected>').   %  init.pl:483: 
(71)[baseKB] common_logic_sanity:test_boxlog([],'<gt;garbage_collected>').   %  common_logic_sanity.pl:143: 
(76)[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(80)$[system]# setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),each_call_cleanup:((baseKB:(\+ \+ (pretty_numbervars_ground(exactly(1,A,puppy(A)),exactly(1,X,puppy(X))),kif_optionally_e(never,ain,clif(exactly(1,X,puppy(X)))),kif_to_boxlog(exactly(1,X,puppy(X)),B),kif_optionally_e(true,show_boxlog,B),flush_output,kif_optionally(false,assert_to_boxlog,B),kif_optionally(false,print_boxlog_to_pfc,B))),deterministic(C)),(notrace(C==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))),D,each_call_cleanup:mquietly(locally_each:key_erase(t_l))).   %  init.pl:646: 
(81)<gt;*>$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(85)[ucatch] ucatch:call_each_det(ucatch:must_det_u,'<gt;garbage_collected>').   %  ucatch.pl:1775: 
(86)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>').   %  ucatch.pl:1778: 
(87)$[ucatch] ucatch:p_call('<gt;garbage_collected>','<gt;garbage_collected>').   %  ucatch.pl:1784: 
(88)$[ucatch]# ucatch:'<gt;garbage_collected>'.   %  ucatch.pl:1727: 
(89)<gt;*>$[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),A).   %  must_sanity.pl:65: 
(90)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1099: 
(91)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),A,rule1:0).   %  must_sanity.pl:65: 
(92)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1107: 
(93)[locally_each] locally_each:w_o_c('<gt;garbage_collected>').   %  redo_locally.pl:86: 
(94)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A)),error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A))).   %  init.pl:546: 
(95)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,A))).  no(clause) 
(96)[locally_each] dumpst:dumpST.   %  dumpst.pl:150: 
%~ w_o_c(
%~    error = error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(exactly(1,X,puppy(X)),KB,rule1:0,_1514))
% Break level 1

% Exit break level 1
^  Call: (96) [baseKB] common_logic_snark:kif_to_boxlog(exactly(1, X, puppy(X)), KB, rule1:0, _1514) ? EOF: exit (status 4)
%~ unused(no_junit_results)

%~ 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 boxlog_sanity_04.pfc.pl (returned 4) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'