Skip to content

Test Result : FILE_01A

1 failures
2 tests
Took 1 ms.

All Tests

Test nameDurationStatus
logicmoo.pfc.test.sanity_base.FILE_01A@Test_0001_Line_0000__must_clause_asserted_1_in_user: user:predicate_property(must_clause_asserted(Asserted),number_of_clauses(Clauses3)) No flake or failure 1 msPassed
logicmoo.pfc.test.sanity_base.FILE_01A@Test_0002_Line_0000__af_number_of_clauses_1_in_user: user:(\\+predicate_property(a,number_of_clauses(Clauses1)))0 msFailed