Skip to content
[Jenkins]Jenkins
log in

Test Result : SANITY_EXISTS_02

1 failures
7 tests
Took 0.8 sec.

All Tests

Test nameDurationStatus
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0001_Line_0000__TAnimal_in_t123: t123:test_boxlog(all([ [HasOrgan8,tAnimal]],exists(\n [ [HasOrgan9,tHeart]],hasOrgan(HasOrgan8,HasOrgan9))))0.29 secPassed
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0002_Line_0000__THeart_in_t123: t123:test_boxlog(isa(Exists_Animal10_Animal,tAnimal)=>all(Exists_Animal10_Animal,exists(\n [ [HasOrgan13,tHeart]],hasOrgan(Exists_Animal10_Animal,HasOrgan13))))0.15 secPassed
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0003_Line_0000__TAnimal_in_t123: t123:test_boxlog(isa(Animal,tAnimal)=>all(Animal,isa(HasOrgan_Heart3_Heart,tHeart)=>exists(HasOrgan_Heart3_Heart,hasOrgan(Animal,HasOrgan_Heart3_Heart))))77 msPassed
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0004_Line_0000__TAnimal_in_t123: t123:test_boxlog(all(Exists_Animal_Animal,exists(HasOrgan_Heart3_Heart,isa(Exists_Animal_Animal,tAnimal)=>(isa(HasOrgan_Heart3_Heart,tHeart)&hasOrgan(Exists_Animal_Animal,HasOrgan_Heart3_Heart)))))0.18 secPassed
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0005_Line_0000__TAnimal_in_t123: t123:test_boxlog(all(Animal,isa(Animal,tAnimal)=>exists(HasOrgan_Heart3_Heart,isa(HasOrgan_Heart3_Heart,tHeart)=>hasOrgan(Animal,HasOrgan_Heart3_Heart)))) No flake or failure 90 msPassed
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0006_Line_0000__naf_tHeart_1_in_t123: t123:(\\+tHeart(Heart1))1 msPassed
logicmoo.base.examples.fol.SANITY_EXISTS_02@Test_0007_Line_0000__tHeart_1_in_t123: t123:tHeart(Heart1)0 msFailed