public void FloatyCE()
{
var model = Files.ce_float_bvd;
var file = Files.ce_float;
var physFile = CreatePhysFile(file);
var provider = new CounterExampleProvider(physFile, model);
CounterExampleResults result = provider.LoadCounterModel();
List <string> resultAsString = result.CounterExamples.ToStringList();
List <string> expectation = new List <string>()
{
"L3 C22: inp1 = -160.0; "
};
CollectionAssert.AreEquivalent(expectation, resultAsString);
}
public void CEWithTwoConnectedMethods()
{
var model = Files.ce_2mc_bvd;
var file = Files.ce_2mc;
var physFile = CreatePhysFile(file);
var provider = new CounterExampleProvider(physFile, model);
CounterExampleResults result = provider.LoadCounterModel();
List <string> resultAsString = result.CounterExamples.ToStringList();
List <string> expectation = new List <string>()
{
"L3 C19: in1 = 2446; ",
"L9 C19: in2 = 891; "
};
CollectionAssert.AreEquivalent(expectation, resultAsString);
}
public void CleanResults()
{
counterExampleResults = null;
}
