//[TestMethod]
public void MonaParserTest_parse_ltl()
{
foreach (string fileName in Directory.EnumerateFiles(@"C:\github\automatark\m2l-str\", "*.mona", SearchOption.AllDirectories))
{
MonaProgram pgm = MonaParser.ParseFromFile(fileName);
Assert.IsTrue(pgm.declarations.Count > 0);
var mso = pgm.ToMSO();
}
}
//[TestMethod]
public void MonaParserTest_parse_mona()
{
foreach (string fileName in Directory.EnumerateFiles(@"C:\github\automatark\ws1s\", "*.mona", SearchOption.AllDirectories))
{
MonaProgram pgm = MonaParser.ParseFromFile(fileName);
Assert.IsTrue(pgm.declarations.Count > 0);
// horn_trans??.mona : stackoverflow
if (!fileName.Contains("horn_trans"))
{
var mso = pgm.ToMSO();
}
}
}