Test Report : Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-junitCombined-rollup.tmp

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0001_Line_0000__B_in_user: user:call_u(bc_p(b))
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0001_Line_0000__B_in_user
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/back_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.pfc']")

```
goal=user:call_u(bc_p(b)).
time=0.0004324913024902344.
passed=passed=info(why_was_true(user:call_u(bc_p(b))))
no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

no_proof_for(call_u(bc_p(b))).

result=passed.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0002_Line_0000__naf_bc_q_1_in_user: user:(\\+clause_u(bc_q(Q),true))
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0002_Line_0000__naf_bc_q_1_in_user
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/back_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.pfc']")

```
goal=user:(\+clause_u(bc_q(_18886),true)).
time=0.00070953369140625.
passed=passed=info(why_was_true(user:(\+clause_u(bc_q(_29554),true))))
no_proof_for(\+clause_u(bc_q(Q),true)).

no_proof_for(\+clause_u(bc_q(Q),true)).

no_proof_for(\+clause_u(bc_q(Q),true)).

result=passed.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures1

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0003_Line_0000__B_in_user: user:call_u(bc_q(b))
Outcome:Failed
Duration:0.0 sec
Failedfailure = "failure=info((why_was_true(user:(\\+call_u(bc_q(b)))),nop(ftrace(user:call_u(bc_q(b))))))\nno_proof_for(\\+call_u(bc_q(b))).\n\nno_proof_for(\\+call_u(bc_q(b))).\n\nno_proof_for(\\+call_u(bc_q(b))).\n\n". failure = [].
failed
Stderr
name=Test_0003_Line_0000__B_in_user
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/back_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.pfc']")

```
goal=user:call_u(bc_q(b)).
time=0.01876044273376465.
failure=failure=info((why_was_true(user:(\+call_u(bc_q(b)))),nop(ftrace(user:call_u(bc_q(b))))))
no_proof_for(\+call_u(bc_q(b))).

no_proof_for(\+call_u(bc_q(b))).

no_proof_for(\+call_u(bc_q(b))).

result=failure.

Test Suite: logicmoo.pfc.sanity_base.quick_test.BC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures1

Tests

logicmoo.pfc.sanity_base.quick_test.BC_01

Test case:logicmoo.pfc.sanity_base.quick_test.BC_01@Test_0004_Line_0000__bc_q_1_in_user: user:clause_u(bc_q(Q),true)
Outcome:Failed
Duration:0.0 sec
Failedfailure = "failure=info((why_was_true(user:(\\+clause_u(bc_q(_6180),true))),nop(ftrace(user:clause_u(bc_q(_6180),true)))))\nno_proof_for(\\+clause_u(bc_q(Q),true)).\n\nno_proof_for(\\+clause_u(bc_q(Q),true)).\n\nno_proof_for(\\+clause_u(bc_q(Q),true)).\n\n". failure = [].
failed
Stderr
name=Test_0004_Line_0000__bc_q_1_in_user
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.BC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'bc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/back_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['bc_01.pfc']")

```
goal=user:clause_u(bc_q(_57282),true).
time=0.000469207763671875.
failure=failure=info((why_was_true(user:(\+clause_u(bc_q(_6180),true))),nop(ftrace(user:clause_u(bc_q(_6180),true)))))
no_proof_for(\+clause_u(bc_q(Q),true)).

no_proof_for(\+clause_u(bc_q(Q),true)).

no_proof_for(\+clause_u(bc_q(Q),true)).

result=failure.

Test Suite: logicmoo.pfc.sanity_base.quick_test.FC_01

Package: logicmoo.pfc.sanity_base.quick_test

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.pfc.sanity_base.quick_test.FC_01

Test case:logicmoo.pfc.sanity_base.quick_test.FC_01@Test_0001_Line_0000__B11_in_user: user:b11
Outcome:Passed
Duration:0.0 sec
FailedNone
None
Stderr
name=Test_0001_Line_0000__B11_in_user
JUNIT_CLASSNAME='logicmoo.pfc.sanity_base.quick_test.FC_01'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fc_01.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/back_sys/pfc/t/sanity_base/quick_test ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['fc_01.pfc']")

```
goal=user:b11.
time=0.0009708404541015625.
passed=passed=info(why_was_true(user:b11))
no_proof_for(b11).

no_proof_for(b11).

no_proof_for(b11).

result=passed.