TeamSPoon
commented
3 years ago (cd /var/lib/jenkins/workspace/logicmoo_workspace/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 nd_02a.pfc)
ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/486 EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ PREVIOUS: https://jenkins.logicmoo.org/job/logicmoo_workspace/84/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AND_02A GITLAB: https://gitlab.logicmoo.org/gitlab/logicmoo/logicmoo_workspace/-/blob/3a97d804969cf81070f573252dba2ad465c70dda/packs_sys/pfc/t/sanity_base/nd_02a.pfc GITHUB: https://github.com/logicmoo/logicmoo_workspace/commit/3a97d804969cf81070f573252dba2ad465c70dda
%~ init_phase(after_load) %~ init_phase(restore_state) % running('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/nd_02a.pfc'), %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
:- abolish(a,1).
:- abolish(b,2).
:- dynamic((a/1,b/2)).
:- debuglogicmoo(logicmoo()). % :- mpred_trace_exec.
% :- mpred_trace_exec. :- mpred_warn.
nondet_local.
(nondet_local, {member(Y,[1,2,3])}) ==> nondet_local_a(Y).
:- listing(header_sane:nondet_local/0).
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/nd_02a.pfc:27 %~ skipped( listing( header_sane : nondet_local/0))
:- mpred_test(nondet_local_a(1)).
%~ mpred_test("Test_0001_Line_0000__nondet_local_a_1",baseKB:nondet_local_a(1))
%~ FIlE: https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L29
/~
%~ mpred_test("Test_0001_Line_0000__nondet_local_a_1",baseKB:nondet_local_a(1))
passed=info(why_was_true(baseKB:nondet_local_a(1)))
Justifications for nondet_local_a(1): [36m 1.1 nondet_local [0m[90m % [ https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L22 ] [0m[36m 1.2 nondet_local,{member(W4,[1,2,3])}==>nondet_local_a(W4) [0m[90m % [ https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L25 ] [0m[36m 1.3 mfl4(_,baseKB,' https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L22 ',22) [0m[36m 1.4 mfl4(['Y'=_],baseKB,' https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L25 ',25) [0m name = 'logicmoo.pfc.test.sanity_base.ND_02A-Test_0001_Line_0000nondet_local_a_1'. JUNIT_CLASSNAME = 'logicmoo.pfc.test.sanity_base.ND_02A'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif nd_02a.pfc'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-Units-logicmoo.pfc.test.sanity_base.ND_02A-Test_0001_Line_0000nondet_local_a_1-junit.xml ~*/
:- mpred_test(nondet_local_a(3)).
%~ mpred_test("Test_0002_Line_0000__nondet_local_a_3",baseKB:nondet_local_a(3))
%~ FIlE: https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L30
/~
%~ mpred_test("Test_0002_Line_0000__nondet_local_a_3",baseKB:nondet_local_a(3))
passed=info(why_was_true(baseKB:nondet_local_a(3)))
Justifications for nondet_local_a(3): [36m 1.1 nondet_local [0m[90m % [ https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L22 ] [0m[36m 1.2 nondet_local,{member(W4,[1,2,3])}==>nondet_local_a(W4) [0m[90m % [ https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L25 ] [0m[36m 1.3 mfl4(_,baseKB,' https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L22 ',22) [0m[36m 1.4 mfl4(['Y'=_],baseKB,' https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L25 ',25) [0m name = 'logicmoo.pfc.test.sanity_base.ND_02A-Test_0002_Line_0000nondet_local_a_3'. JUNIT_CLASSNAME = 'logicmoo.pfc.test.sanity_base.ND_02A'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif nd_02a.pfc'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-Units-logicmoo.pfc.test.sanity_base.ND_02A-Test_0002_Line_0000nondet_local_a_3-junit.xml ~*/
:- garbage_collect.
:- garbage_collect_atoms.
:- garbage_collect_clauses. %:- (cls,rtrace,trace).
%:- (cls,rtrace,trace).
{member(Y,[1,2,3])} ==> b(t,Y).
:- mpred_test(b(t,1)).
%~ mpred_test("Test_0003_Line_0000__b_1",baseKB:b(t,1))
%~ FIlE: https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L39
/~
%~ mpred_test("Test_0003_Line_0000__b_1",baseKB:b(t,1))
passed=info(why_was_true(baseKB:b(t,1)))
Justifications for b(t,1): [36m 1.1 {member(W4,[1,2,3])}==>b(t,W4) [0m[90m % [ https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L37 ] [0m[36m 1.2 mfl4(['Y'=_],baseKB,' https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L37 ',37) [0m name = 'logicmoo.pfc.test.sanity_base.ND_02A-Test_0003_Line_0000b_1'. JUNIT_CLASSNAME = 'logicmoo.pfc.test.sanity_base.ND_02A'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif nd_02a.pfc'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-Units-logicmoo.pfc.test.sanity_base.ND_02A-Test_0003_Line_0000b_1-junit.xml ~*/
:- mpred_test(b(t,3)).
%~ mpred_test("Test_0004_Line_0000__b_3",baseKB:b(t,3))
%~ FIlE: https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L40
/~
%~ mpred_test("Test_0004_Line_0000__b_3",baseKB:b(t,3))
passed=info(why_was_true(baseKB:b(t,3)))
Justifications for b(t,3): [36m 1.1 {member(W4,[1,2,3])}==>b(t,W4) [0m[90m % [ https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L37 ] [0m[36m 1.2 mfl4(['Y'=_],baseKB,' https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc#L37 ',37) [0m name = 'logicmoo.pfc.test.sanity_base.ND_02A-Test_0004_Line_0000b_3'. JUNIT_CLASSNAME = 'logicmoo.pfc.test.sanity_base.ND_02A'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif nd_02a.pfc'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-Units-logicmoo.pfc.test.sanity_base.ND_02A-Test_0004_Line_0000b_3-junit.xml ~*/ %~ begin_test_completed_exit(64) %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/nd_02a.pfc:43 %~ unused(no_junit_results) system halted_junit = true. testsuite start = 1632097401.0103235. testsuite file = '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/nd_02a.pfc'. testsuite testcase = Test_0001_Line_0000nondet_local_a_1 Test_0001_Line_0000nondet_local_a_1 goal = baseKB:nondet_local_a(1). Test_0001_Line_0000nondet_local_a_1 time = 0.0001552104949951172. Test_0001_Line_0000nondet_local_a_1 Test_0001_Line_0000nondet_local_a_1 result = passed. testsuite testcase = Test_0002_Line_0000nondet_local_a_3 Test_0002_Line_0000nondet_local_a_3 goal = baseKB:nondet_local_a(3). Test_0002_Line_0000nondet_local_a_3 time = 0.00010752677917480469. Test_0002_Line_0000nondet_local_a_3 Test_0002_Line_0000nondet_local_a_3 result = passed. testsuite testcase = Test_0003_Line_0000b_1 Test_0003_Line_0000b_1 goal = baseKB:b(t,1). Test_0003_Line_0000b_1 time = 0.00010728836059570312. Test_0003_Line_0000b_1 Test_0003_Line_0000b_1 result = passed. testsuite testcase = Test_0004_Line_0000b_3 Test_0004_Line_0000b_3 goal = baseKB:b(t,3). Test_0004_Line_0000b_3 time = 9.846687316894531e-5. Test_0004_Line_0000b_3 Test_0004_Line_0000b_3 result = passed. %~ test_completed_exit(64) totalTime=1
ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/486 EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ PREVIOUS: https://jenkins.logicmoo.org/job/logicmoo_workspace/84/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AND_02A GITLAB: https://gitlab.logicmoo.org/gitlab/logicmoo/logicmoo_workspace/-/blob/3a97d804969cf81070f573252dba2ad465c70dda/packs_sys/pfc/t/sanity_base/nd_02a.pfc GITHUB: https://github.com/logicmoo/logicmoo_workspace/commit/3a97d804969cf81070f573252dba2ad465c70dda
SUCCESS: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k nd_02a.pfc (returned 64) Add_LABELS='' Rem_LABELS='Errors,Warnings,Overtime,Skipped'
(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@2/bin/lmoo-clif nd_02a.pfc)
ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/ EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ PREVIOUS: https://jenkins.logicmoo.org/job/logicmoo_workspace/83/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AND_02A GITLAB: https://gitlab.logicmoo.org/gitlab/logicmoo/logicmoo_workspace/-/blob/5063a48a24b85b2bce3c975c5486ec917095d69e/packs_sys/pfc/t/sanity_base/nd_02a.pfc GITHUB: https://github.com/logicmoo/logicmoo_workspace/commit/5063a48a24b85b2bce3c975c5486ec917095d69e
totalTime=1
ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/ EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nd_02a.pfc JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ PREVIOUS: https://jenkins.logicmoo.org/job/logicmoo_workspace/83/testReport/logicmoo.pfc.test.sanity_base/ND_02A/logicmoo_pfc_test_sanity_base_ND_02A_JUnit/ ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AND_02A GITLAB: https://gitlab.logicmoo.org/gitlab/logicmoo/logicmoo_workspace/-/blob/5063a48a24b85b2bce3c975c5486ec917095d69e/packs_sys/pfc/t/sanity_base/nd_02a.pfc GITHUB: https://github.com/logicmoo/logicmoo_workspace/commit/5063a48a24b85b2bce3c975c5486ec917095d69e
SUCCESS: /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-junit-minor -k nd_02a.pfc (returned 64) Add_LABELS='' Rem_LABELS='Errors,Warnings,Overtime,Skipped'