Skip to content
[Jenkins]Jenkins
log in

Test Result : ANSWERABLE_T_01

0 failures
4 tests
Took 0.3 sec.

All Tests

Test nameDurationStatus
logicmoo.base.examples.fol.ANSWERABLE_T_01@Test_0001_Line_0000__asserted_t_1_in_t123: t123:test_boxlog(asserted_t(T)=>true_t(T))0.16 secPassed
logicmoo.base.examples.fol.ANSWERABLE_T_01@Test_0002_Line_0000__fallacy_t_1_in_t123: t123:test_boxlog(fallacy_t(T)=>(((false_t(T)&true_t(T))& ~unknown_t(T))& ~possible_t(T)))94 msPassed
logicmoo.base.examples.fol.ANSWERABLE_T_01@Test_0003_Line_0000__true_t_1_in_t123: t123:test_boxlog((true_t(T)&false_t(T))=>fallacy_t(T)) No flake or failure 27 msPassed
logicmoo.base.examples.fol.ANSWERABLE_T_01@Test_0004_Line_0000__true_t_1_in_t123: t123:test_boxlog(true_t(T)=>possible_t(T))13 msPassed