logicmoo.ec.ec_planner.ectest.SANITY_EQUALS_01_EXTRA JUnit

[TeamSPoon]

trafficstars

(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_01_extra.pl']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_01_extra.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.ec.ec_planner.ectest/SANITY_EQUALS_01_EXTRA/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EQUALS_01_EXTRA % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/672

%~ 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.
 %  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 baseKB:axiom/1.

baseKB:axiom((~fallacy_t(A))=>v(v(unknown_t(A), false_t(A)), true_t(A))).
baseKB:axiom((~unknown_t(A))=>v(true_t(A), false_t(A))).
baseKB:axiom((~false_t(A))=>v(v(fallacy_t(A), unknown_t(A)), true_t(A))).
baseKB:axiom(<gt;=>(answerable_t(A),
                 askable_t(A)& ~unknown_t(A))).
baseKB:axiom(answerable_t(A)=>v(true_t(A), false_t(A))).
baseKB:axiom(<gt;=>(askable_t(A), ~fallacy_t(A))).
baseKB:axiom(askable_t(A)=>v(v(true_t(A), unknown_t(A)), false_t(A))).
baseKB:axiom(v(askable_t(A), fallacy_t(A))).
baseKB:axiom(asserted_t(A)=>true_t(A)).
baseKB:axiom(fallacy_t(A)=>(((false_t(A)&true_t(A))& ~unknown_t(A))& ~possible_t(A))).
baseKB:axiom((true_t(A)&false_t(A))=>fallacy_t(A)).
baseKB:axiom(v(v(true_t(A), unknown_t(A)), false_t(A))).
baseKB:axiom(true_t(A)=>possible_t(A)).
baseKB:axiom(possible_t(A)=>(~false_t(A)& ~fallacy_t(A))).
baseKB:axiom((~true_t(A))=>v(v(false_t(A), fallacy_t(A)), possible_t(A))).
baseKB:axiom(<gt;=>(false_t(A),
                 (~true_t(A)& ~possible_t(A))& ~unknown_t(A))).
baseKB:axiom(true_t(A)=>((~false_t(A)&possible_t(A))& ~unknown_t(A))).
baseKB:axiom((~asserted_t(A))=>v(v(possible_t(A), false_t(A)), fallacy_t(A))).
baseKB:axiom((~possible_t(A))=>v(false_t(A), fallacy_t(A))).
baseKB: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)]).

% halt

totalTime=1.000

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