/// <summary>
/// Creates a counter example from the <paramref name="path" />.
/// </summary>
/// <param name="path">
/// The path the counter example should be generated from. A value of <c>null</c> indicates that no
/// transitions could be generated for the model.
/// </param>
/// <param name="endsWithException">Indicates whether the counter example ends with an exception.</param>
public override CounterExample <TExecutableModel> CreateCounterExample(byte[][] path, bool endsWithException)
{
if (RuntimeModelCreator == null)
{
throw new InvalidOperationException("Counter example generation is not supported in this context.");
}
return(RuntimeModel.CreateCounterExample(RuntimeModelCreator, path, endsWithException));
}