public void Succeed_Flat()
{
string outputDir = "Testing_RICircuit_CA";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@RICircuit_CA_Flat|kind=TestBench|relpos=0";
var result = CyPhy2ModelicaRunner.RunWithChecker(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 should have succeeded.");
}
public void Tests_RICircuit_CA_WithChecker()
{
string outputDir = "Tests_RICircuit_CA";
string testBenchPath = "/@Tests|kind=Testing|relpos=0/@RICircuit_CA|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.RunWithChecker(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}