|
Duration | 0.0 sec |
---|---|
Tests | 1 |
Failures | 0 |
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 |
Failed | None |
None
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.
Duration | 0.0 sec |
---|---|
Tests | 1 |
Failures | 0 |
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 |
Failed | None |
None
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.
Duration | 0.0 sec |
---|---|
Tests | 1 |
Failures | 1 |
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 |
Failed | failure = "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
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.
Duration | 0.0 sec |
---|---|
Tests | 1 |
Failures | 1 |
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 |
Failed | failure = "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
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.
Duration | 0.0 sec |
---|---|
Tests | 1 |
Failures | 0 |
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 |
Failed | None |
None
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.