Skip to content

Test Result : BC_01A_1

6 failures
10 tests
Took 4 ms.

All Tests

Test nameDurationStatus
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0001_Line_0000__B_in_header_sane: header_sane:call_u(bc_p(b))0 msFailed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0002_Line_0000__naf_bc_q_1_in_header_sane: header_sane:(\\+clause(bc_q(Q1),true))0 msPassed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0003_Line_0000__B_in_header_sane: header_sane:bc_q(b)0 msFailed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0004_Line_0000__bc_q_1_in_header_sane: header_sane:clause_u(bc_q(Q1),true)0 msFailed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0005_Line_0000__bc_q_1_in_header_sane: header_sane:(bc_q(P_Q)<-bc_p(P_Q))Failed with 0 retries2 msFailed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0006_Line_0000__bc_q_1_in_header_sane: header_sane:(bc_q(P_Q)<-bc_p(P_Q))0 msFailed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0007_Line_0000__B_in_header_sane: header_sane:bc_q(b)0 msFailed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0008_Line_0000__bc_q_1_in_header_sane: header_sane:mpred_withdraw((bc_q(P_Q)<-bc_p(P_Q)))1 msPassed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0009_Line_0000__bc_q_1_in_header_sane: header_sane:(mpred_withdraw((bc_q(P_Q2)<-bc_p(P_Q2))),show_failure(\\+clause_u(bc_q(Q4),true)))1 msPassed
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0010_Line_0000__naf_bc_q_1_in_header_sane: header_sane:(\\+clause_u(bc_q(Q1),true))0 msPassed