private void RunInferenceTests()
{
var suite = new TestSuite("Inference", true);
suite.AddTest("Simple success", "inference_kbs/simple.kb", "-yes", true);
suite.AddTest("Simple failure", "inference_kbs/simple.kb", "yes", false);
suite.AddTest("Breakfast", "inference_kbs/breakfast.kb", "-breakfast", true);
suite.AddTest("Ancestor (pq)", "inference_kbs/pq.kb", "q p", true);
suite.AddTest("Espresso light", "inference_kbs/espresso_light.kb", "-hot-drink", true);
suite.AddTest("Steam", "inference_kbs/steam.kb", "-steam", true);
suite.AddTest("No steam (boiler off)", "inference_kbs/steam_boiler_off.kb", "steam", true);
suite.AddTest("No steam (boiler broken)", "inference_kbs/steam_boiler_broken.kb", "steam", true);
suite.AddTest("Espresso", "inference_kbs/espresso.kb", "-hot-drink", true);
//suite.AddTest("Steam", "inference_kbs/steam.kb", "steam", true);
suite.Run();
}
private void RunRouteFindingTests()
{
var suite = new TestSuite("Route finding", false);
suite.AddTest("Manhattan", "route_kbs/manhattan.kb", "0 0,9 5", true);
suite.AddTest("Copenhagen", "route_kbs/copenhagen.kb", "45 70,65 100", true);
suite.AddTest("Simple Copenhagen", "route_kbs/copenhagen_holy_moses.kb", "10 70,65 100", true);
suite.AddTest("Romania", "route_kbs/romanian_cities.kb", "18 18,204 146", true);
suite.AddTest("Manhattan with diagonals", "route_kbs/map.kb", "0 0,29 29", true);
suite.AddTest("Simple Romania", "route_kbs/romanian_cities_simple.kb", "18 18,204 146", true);
suite.AddTest("Big Manhattan", "route_kbs/biggie.kb", "0 0,29 29", true);
//suite.AddTest("Big-small Manhattan", "route_kbs/biggie_smalls.kb", "0 0,190 10", true);
suite.Run();
this.PaintRoute("Manhattan with diagonals", "route_kbs/map.kb", 0, 0, 29, 29);
}
