logicmoo.pfc.test.sanity_base.BC_01A@Test_0001_Line_0000__B_in_user: user:call_u(bc_p(b)) No flake or failure | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0002_Line_0000__naf_bc_q_1_in_user: user:(\\+clause(bc_q(Q1),true)) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0003_Line_0000__B_in_user: user:bc_q(b) | 19 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0004_Line_0000__bc_q_1_in_user: user:clause_u(bc_q(Q1),true) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0005_Line_0000__bc_q_1_in_user: user:(bc_q(P_Q)<-bc_p(P_Q)) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0006_Line_0000__bc_q_1_in_user: user:(bc_q(P_Q)<-bc_p(P_Q)) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0007_Line_0000__B_in_user: user:bc_q(b) | 7 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0008_Line_0000__bc_q_1_in_user: user:mpred_withdraw((bc_q(P_Q)<-bc_p(P_Q))) | 7 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0009_Line_0000__bc_q_1_in_user: user:(mpred_withdraw((bc_q(P_Q2)<-bc_p(P_Q2))),show_failure(\\+clause_u(bc_q(Q4),true))) | 1 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A@Test_0010_Line_0000__naf_bc_q_1_in_user: user:(\\+clause_u(bc_q(Q1),true)) | 1 ms | Passed |