logicmoo.ec.ec_planner.ectest.SANITY_EQUALS_04 JUnit
TeamSPoon opened this issue · 0 comments
TeamSPoon commented
(cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/test/ec_planner/ectest ; timeout --foreground --preserve-status -s SIGKILL -k 1m 1m swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['sanity_equals_04.pel']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.ec.ec_planner.ectest/SANITY_EQUALS_04/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EQUALS_04
% ISSUE: #693
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
% call_pel_directive( translate(unskipped,'/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel')).
running('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel'),
%~ this_test_might_need( :-( expects_dialect(pfc)))
%~ /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))))
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(import_into(baseKB),procedure,ec_loader:export_transparent/1),
%~ context(import/1,already_from(logicmoo_planner))),
%~ error,
%~ [ '~q/~w: '-[import,1],
%~ 'No permission to import ~p into ~w' - [ ec_loader : export_transparent/1,
%~ baseKB],
%~ ' (already imported from ~q)'-[logicmoo_planner]])
%~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/prolog/ec_planner/ec_test_incl.pl',17)
import/1: No permission to import ec_loader:(export_transparent/1) into baseKB (already imported from logicmoo_planner)
ERROR: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/prolog/ec_planner/ec_test_incl.pl:17:
ERROR: import/1: No permission to import ec_loader:(export_transparent/1) into baseKB (already imported from logicmoo_planner)
:-expects_dialect(ecalc).
/*~
~*/
:- call_pel_directive(translate(begining,
'/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel')).
/*~
% call_pel_directive( translate(begining,'/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel')).
~*/
:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.e',2).
% predicate Neighbor(position,position)
/*~
~*/
% predicate Neighbor(position,position)
predicate(neighbor(position,position)).
/*~
No source location!?
~*/
:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.e',4).
% [position1,position2]
% Neighbor(position1,position2) <gt;->
% ((position1=1 & position2=2) |
% (position1=1 & position2=3) |
% (position1=1 & position2=4) |
% (position1=2 & position2=3) |
% (position1=2 & position2=4) |
% (position1=3 & position2=4) |
% (position1=5 & position2=6) |
% (position1=5 & position2=7) |
% (position1=5 & position2=8) |
% (position1=6 & position2=7) |
% (position1=6 & position2=8) |
% (position1=7 & position2=8) |
% (position2=1 & position1=2) |
% (position2=1 & position1=3) |
% (position2=1 & position1=4) |
% (position2=2 & position1=3) |
% (position2=2 & position1=4) |
% (position2=3 & position1=4) |
% (position2=5 & position1=6) |
% (position2=5 & position1=7) |
% (position2=5 & position1=8) |
% (position2=6 & position1=7) |
% (position2=6 & position1=8) |
% (position2=7 & position1=8) |
% (position1=4 & position2=7) |
% (position2=4 & position1=7)).
/*~
~*/
% [position1,position2]
% Neighbor(position1,position2) <gt;->
% ((position1=1 & position2=2) |
% (position1=1 & position2=3) |
% (position1=1 & position2=4) |
% (position1=2 & position2=3) |
% (position1=2 & position2=4) |
% (position1=3 & position2=4) |
% (position1=5 & position2=6) |
% (position1=5 & position2=7) |
% (position1=5 & position2=8) |
% (position1=6 & position2=7) |
% (position1=6 & position2=8) |
% (position1=7 & position2=8) |
% (position2=1 & position1=2) |
% (position2=1 & position1=3) |
% (position2=1 & position1=4) |
% (position2=2 & position1=3) |
% (position2=2 & position1=4) |
% (position2=3 & position1=4) |
% (position2=5 & position1=6) |
% (position2=5 & position1=7) |
% (position2=5 & position1=8) |
% (position2=6 & position1=7) |
% (position2=6 & position1=8) |
% (position2=7 & position1=8) |
% (position1=4 & position2=7) |
% (position2=4 & position1=7)).
:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.e',4).
/*~
~*/
neighbor(Position1, Position2) <gt;->
( Position1=1,
Position2=2
; Position1=1,
Position2=3
; Position1=1,
Position2=4
; Position1=2,
Position2=3
; Position1=2,
Position2=4
; Position1=3,
Position2=4
; Position1=5,
Position2=6
; Position1=5,
Position2=7
; Position1=5,
Position2=8
; Position1=6,
Position2=7
; Position1=6,
Position2=8
; Position1=7,
Position2=8
; Position2=1,
Position1=2
; Position2=1,
Position1=3
; Position2=1,
Position1=4
; Position2=2,
Position1=3
; Position2=2,
Position1=4
; Position2=3,
Position1=4
; Position2=5,
Position1=6
; Position2=5,
Position1=7
; Position2=5,
Position1=8
; Position2=6,
Position1=7
; Position2=6,
Position1=8
; Position2=7,
Position1=8
; Position1=4,
Position2=7
; Position2=4,
Position1=7
).
%; Prolog code starts with ;:-
/*~
No source location!?
~*/
%; Prolog code starts with ;:-
:- include(sanity_equals_01_extra).
/*~
% showing_ec_current_domain_db.
axiom(happens( shift_pack(Got_Robot_Shift_pack,Pack),
Time_from_Retrieve_pack_Shift_pack1,
Time_until),
[ happens( retrieve_pack(Got_Robot_Shift_pack),
Time_from_Retrieve_pack_Shift_pack1,
Time_until_Got_B),
b(Time_until_Got_B,Clipped_Time_from_Deliver_pack),
happens( deliver_pack(Got_Robot_Shift_pack,Pack),
Clipped_Time_from_Deliver_pack,
Time_until),
not( clipped(Time_until_Got_B,got(robot,Got_Robot_Shift_pack),Clipped_Time_from_Deliver_pack))]).
axiom(initiates( shift_pack(Shift_pack16,In_Pack19),
in(Shift_pack16,In_Pack19),
In),
[]).
axiom(happens( retrieve_pack(Up_Pack_Robot_In22),
When_Time_at_Time_from_Go_to_room_In_Retrieve_pack,
Clipped_When_Time_until_Put_up),
[ holds( in(Up_Pack_Robot_In22,Room_In_Robot),
When_Time_at_Time_from_Go_to_room_In_Retrieve_pack),
happens(go_to_room(robot,Room_In_Robot),When_Time_at_Time_from_Go_to_room_In_Retrieve_pack),
happens(put_up(robot,Up_Pack_Robot_In22),Clipped_When_Time_until_Put_up),
b(When_Time_at_Time_from_Go_to_room_In_Retrieve_pack,Clipped_When_Time_until_Put_up),
not( clipped( When_Time_at_Time_from_Go_to_room_In_Retrieve_pack,
in(robot,Room_In_Robot),
Clipped_When_Time_until_Put_up))]).
axiom(initiates(retrieve_pack(Got_Pack_Robot40),got(robot,Got_Pack_Robot40),Initiates_Got),
[]).
axiom(happens( deliver_pack(Down_Robot_Deliver_pack46,In_Room_Pack_Robot48),
When_Time_from_In_Go_to_room_Deliver_pack47,
Clipped_When_Time_until_Put_down),
[ happens(go_to_room(robot,In_Room_Pack_Robot48),When_Time_from_In_Go_to_room_Deliver_pack47),
happens(put_down(robot,Down_Robot_Deliver_pack46),Clipped_When_Time_until_Put_down),
b(When_Time_from_In_Go_to_room_Deliver_pack47,Clipped_When_Time_until_Put_down),
not( clipped( When_Time_from_In_Go_to_room_Deliver_pack47,
in(robot,In_Room_Pack_Robot48),
Clipped_When_Time_until_Put_down))]).
axiom(initiates( deliver_pack(Got_Robot_Deliver_pack64,In_Pack69),
in(Got_Robot_Deliver_pack64,In_Pack69),
Time_at_Initiates_Got_In65),
[ holds(got(robot,Got_Robot_Deliver_pack64),Time_at_Initiates_Got_In65)]).
axiom(initiates( put_up(robot,Got_Up_Robot75),
got(robot,Got_Up_Robot75),
Time_at_Initiates_In_Got76),
[ difstate(f,Got_Up_Robot75,robot),
holds(in(Got_Up_Robot75,In_Robot78),Time_at_Initiates_In_Got76),
holds(in(robot,In_Robot78),Time_at_Initiates_In_Got76)]).
axiom(releases( put_up(robot,Up_Robot86),
in(Up_Robot86,In_Robot88),
Time_at_Releases_In87),
[ difstate(f,Up_Robot86,robot),
holds(in(Up_Robot86,In_Robot88),Time_at_Releases_In87),
holds(in(robot,In_Robot88),Time_at_Releases_In87)]).
axiom(initiates( put_down(robot,Got_Down_Robot95),
in(Got_Down_Robot95,In_Robot98),
Time_at_Initiates_Got_In96),
[ difstate(f,Got_Down_Robot95,robot),
holds(got(robot,Got_Down_Robot95),Time_at_Initiates_Got_In96),
holds(in(robot,In_Robot98),Time_at_Initiates_Got_In96)]).
axiom(terminates( put_down(robot,Got_Down_Robot106),
got(robot,Got_Down_Robot106),
Terminates_Got107),
[]).
axiom(initiates(go_to_room(robot,In_Room_Robot112),in(robot,In_Room_Robot112),Initiates_In113),
[]).
axiom(terminates( go_to_room(robot,Room_Robot118),
in(robot,Difstate_In_Robot119),
Terminates_In120),
[ difstate(f,Room_Robot118,Difstate_In_Robot119)]).
axiom(holds(in(Got_Robot_In127,In_Robot131),Time_at_Got_In128),
[ difstate(f,Got_Robot_In127,robot),
holds(got(robot,Got_Robot_In127),Time_at_Got_In128),
holds(in(robot,In_Robot131),Time_at_Got_In128)]).
axiom(initially( in(robot,r(1))),
[]).
axiom(initially( not( in(robot,r(2)))),
[]).
axiom(initially( not( in(robot,r(3)))),
[]).
axiom(initially( in(p(1),r(2))),
[]).
axiom(initially( not( in(p(1),r(1)))),
[]).
axiom(initially( not( in(p(1),r(3)))),
[]).
event( put_up(robot,Up_Robot137)).
mpred_prop(put_up(robot,Up_Robot137),event).
event( put_down(robot,Down_Robot137)).
mpred_prop(put_down(robot,Down_Robot137),event).
event( go_to_room(robot,Room_Robot137)).
mpred_prop(go_to_room(robot,Room_Robot137),event).
predicate(dummy).
mpred_prop(dummy,predicate).
% shown_ec_current_domain_db.
:- dynamic axiom/1.
axiom((~fallacy_t(A))=>v(v(unknown_t(A), false_t(A)), true_t(A))).
axiom((~unknown_t(A))=>v(true_t(A), false_t(A))).
axiom((~false_t(A))=>v(v(fallacy_t(A), unknown_t(A)), true_t(A))).
axiom(<gt;=>(answerable_t(A), askable_t(A)& ~unknown_t(A))).
axiom(answerable_t(A)=>v(true_t(A), false_t(A))).
axiom(<gt;=>(askable_t(A), ~fallacy_t(A))).
axiom(askable_t(A)=>v(v(true_t(A), unknown_t(A)), false_t(A))).
axiom(v(askable_t(A), fallacy_t(A))).
axiom(asserted_t(A)=>true_t(A)).
axiom(fallacy_t(A)=>(((false_t(A)&true_t(A))& ~unknown_t(A))& ~possible_t(A))).
axiom((true_t(A)&false_t(A))=>fallacy_t(A)).
axiom(v(v(true_t(A), unknown_t(A)), false_t(A))).
axiom(true_t(A)=>possible_t(A)).
axiom(possible_t(A)=>(~false_t(A)& ~fallacy_t(A))).
axiom((~true_t(A))=>v(v(false_t(A), fallacy_t(A)), possible_t(A))).
axiom(<gt;=>(false_t(A), (~true_t(A)& ~possible_t(A))& ~unknown_t(A))).
axiom(true_t(A)=>((~false_t(A)&possible_t(A))& ~unknown_t(A))).
axiom((~asserted_t(A))=>v(v(possible_t(A), false_t(A)), fallacy_t(A))).
axiom((~possible_t(A))=>v(false_t(A), fallacy_t(A))).
axiom(unknown_t(A)=>(((~true_t(A)&possible_t(A))& ~asserted_t(A))& ~false_t(A))).
axiom(equals(X, Y), [call(X=Y)]).
axiom(not(equals(X, Y)), [call(X\=Y)]).
axiom(neighbor(1, 2), []).
axiom(neighbor(X, Y), [call(X>Y), neighbor(Y, X)]).
~*/
:- call_pel_directive(translate(ending,
'/pack/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel')).
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.ec.ec_planner.ectest/SANITY_EQUALS_04/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EQUALS_04
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/
/*~
%~ '@TODO '(run_ec_tests)
~*/
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_04.pel:111
%~ unused(no_junit_results)
logicmoo.ec.ec_planner.ectest.SANITY_EQUALS_04 JUnit error = import/1: No permission to import ec_loader:(export_transparent/1) into baseKB (already imported from logicmoo_planner)
%~ test_completed_exit(32)
totalTime=1.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k sanity_equals_04.pel (returned 32) Add_LABELS='Errors' Rem_LABELS='Skipped,Warnings,Overtime,Skipped,Skipped'