public void RuleML086SaveFactsWithNoRuleBase()
{
IInferenceEngine ie = new IEImpl();
ie.SaveFacts(new RuleML086DatalogAdapter(Parameter.GetString("unittest.outputfolder") + "/_outfacts.ruleml",
FileAccess.Write));
Assert.Fail("Should never reach me!");
}
public void RuleML086SaveFacts()
{
IInferenceEngine ie = new IEImpl();
ie.LoadRuleBase(new RuleML086NafDatalogAdapter(ruleFilesFolder + "test-0_86.ruleml", FileAccess.Read));
ie.SaveFacts(new RuleML086NafDatalogAdapter(outFile, FileAccess.Write));
IInferenceEngine ie2 = new IEImpl();
ie2.LoadRuleBase(new RuleML086NafDatalogAdapter(outFile, FileAccess.Read));
Assert.AreEqual(ie.Label, ie2.Label, "Label");
Assert.AreEqual(ie.FactsCount, ie2.FactsCount, "FactsCount");
}