/// <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)); }