public void TestCanParsesimple1()
{
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.ParseFiles($"simple1.net", $"simple1.spec");
Assert.IsTrue(res.Merges.Count > 0);
}
public void TestCanParseToys2()
{
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.ParseFiles($"toy_changed2.net", $"toy_changed2.spec");
Assert.IsTrue(res.Merges.Count > 0);
}
public void TestCanParsePluripotencySmallCase()
{
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.ParseFiles($"pluripotency_small.net", $"pluripotency_small.spec");
Assert.IsTrue(res.MergeObjects.Count > 0);
var txt = new RuleFileWriter().CreateSpecString(res.MergeObjects);
logger.Info(txt);
}
[TestMethod] public void TestCanParseToyOriginalCase()
{
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.ParseFiles($"toy.net", $"toy.spec");
Assert.IsTrue(res.MergeObjects.Count > 0);
var txt = new RuleFileWriter().CreateSpecString(res.MergeObjects);
logger.Info(txt);
}
private static bool IsExistPath(string experimentName)
{
var solver = NinjectHelper.Get <IBDDSolver>();
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.GetConditionAndExperiments($"{experimentName}.net", $"{experimentName}.spec", out data);
var automates =
data.Experiments.ToDictionary(s => s.Key,
s => new AutomataFromExperimentCreator().CreateAutomata(s.Value));
var sos = solver.IsValidPath(automates.First().Value, res);
return(sos);
}
public IHttpActionResult GetData()
{
var solver = NinjectHelper.Get <IBDDSolver>();
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.GetConditionAndExperiments(PathHelper.GetExamplePath("toy"), PathHelper.GetSpecPath("toy"), out data);
var automates =
data.Experiments.ToDictionary(s => s.Key,
s => new AutomataFromExperimentCreator().CreateAutomata(s.Value));
var sos = solver.IsValidPath(automates.First().Value, res);
return(Ok(new { message = sos }));
}
public void TestHerrmannCaseBddSolverIsWrong()
{
var parser = new FileParser();
var data = new ParseRuleResponse();
var res = parser.GetConditionAndExperiments($"herrmann.net", $"herrmann.spec", out data);
var automates =
data.Experiments.ToDictionary(s => s.Key,
s => new AutomataFromExperimentCreator().CreateAutomata(s.Value));
bool sos = true;
int i = 0;
automates.ToList().ForEach(a =>
{
var solver = NinjectHelper.Get <IBDDSolver>();
logger.Info("Start " + (i++));
sos &= solver.IsValidPath(a.Value, res);
});
Assert.IsFalse(sos);
}
