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."); }