Skip to content
[Jenkins]Jenkins
log in

Test Result : SCOPE_EXISTS_01

0 failures
3 tests
Took 0.67 sec.

All Tests

Test nameDurationStatus
logicmoo.base.examples.fol.SCOPE_EXISTS_01@Test_0001_Line_0000__room_1_in_t123: t123:test_boxlog(all(Room_Exists_Has,exists(Has_Door_Implies,implies(room(Room_Exists_Has),and(door(Has_Door_Implies),has(Room_Exists_Has,Has_Door_Implies)))))) No flake or failure 0.34 secPassed
logicmoo.base.examples.fol.SCOPE_EXISTS_01@Test_0002_Line_0000__room_1_in_t123: t123:test_boxlog(all(Room_Implies_Has,implies(room(Room_Implies_Has),exists(Has_Door_And,and(door(Has_Door_And),has(Room_Implies_Has,Has_Door_And))))))0.15 secPassed
logicmoo.base.examples.fol.SCOPE_EXISTS_01@Test_0003_Line_0000__room_1_in_t123: t123:test_boxlog(exists(HasShared_Door_All,all(Room_Implies_HasShared,implies(room(Room_Implies_HasShared),and(door(HasShared_Door_All),hasShared(Room_Implies_HasShared,HasShared_Door_All))))))0.17 secPassed