protected override void Check()
{
var m = new S();
var r = SafetySharpRuntimeModel.Create(m);
r.RootComponents.Length.ShouldBe(4);
r.RootComponents[0].ShouldBeOfType <D>();
r.RootComponents[1].ShouldBeOfType <F>();
r.RootComponents[2].ShouldBeOfType <C>();
r.RootComponents[3].ShouldBeOfType <E>();
}
/// <summary>
/// Instantiates a runtime model.
/// </summary>
/// <param name="model">The model that should be instantiated.</param>
/// <param name="formulas">The formulas the runtime model should be instantiated with.</param>
protected void Create(ModelBase model, params Formula[] formulas)
{
RuntimeModel = SafetySharpRuntimeModel.Create(model, formulas);
}
public static SafetySharpRuntimeModel CreateRuntimeModel(TestTraceOutput output)
{
return(SafetySharpRuntimeModel.Create(CreateEmptyModel(output)));
}