<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_r3clus4mv893es809krejp97bm, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid test_philosophyBot1_trails() {
  test_philosophyBot1_trailsForLogicRules();
  test_philosophyBot1_trailsForFacts();
}

svoid test_philosophyBot1_trailsForFacts() {
  PhilosophyBot1 bot = new([[
    a => b
    a & b => c
    
    a
  ]]);
  bot.printStackTraces = true;
  bot.enableTrails();
  bot.think();
  for (WithTrail<S> fact : bot.deducedFactsWithTrails())
    assertNotNull("trail for " + fact, fact.trail);
}

svoid test_philosophyBot1_trailsForLogicRules() {
  PhilosophyBot1 bot = new([[
    a & b => c
    
    a
  ]]);
  bot.printStackTraces = true;
  bot.enableTrails();
  bot.think();
  for (PhilosophyBot1.LogicRule rule : bot.logicRules()) {
    print(rule + ", trail: " + rule.trail);
    assertNotNull("trail" , rule.trail);
  }
}