/// <summary>
/// Saves the counter example to the <paramref name="file" />.
/// </summary>
/// <param name="file">The file the counter example should be saved to.</param>
public virtual void Save(CounterExample <TExecutableModel> counterExample, string file)
{
Requires.NotNullOrWhitespace(file, nameof(file));
if (!file.EndsWith(FileExtension))
{
file += FileExtension;
}
var directory = Path.GetDirectoryName(file);
if (!String.IsNullOrWhiteSpace(directory))
{
Directory.CreateDirectory(directory);
}
using (var writer = new BinaryWriter(File.OpenWrite(file), Encoding.UTF8))
{
writer.Write(FileHeader);
writer.Write(counterExample.EndsWithException);
writer.Write(counterExample.RuntimeModel.SerializedModel.Length);
writer.Write(counterExample.RuntimeModel.SerializedModel);
foreach (var fault in counterExample.RuntimeModel.Faults)
{
writer.Write((int)fault.Activation);
}
WriteInternalStateStructure(counterExample, writer);
writer.Write(counterExample.StepCount + 1);
writer.Write(counterExample.RuntimeModel.StateVectorSize);
foreach (var slot in counterExample.States.SelectMany(step => step))
{
writer.Write(slot);
}
writer.Write(counterExample.ReplayInfo.Length);
foreach (var choices in counterExample.ReplayInfo)
{
writer.Write(choices.Length);
foreach (var choice in choices)
{
writer.Write(choice);
}
}
}
}
public abstract void WriteInternalStateStructure(CounterExample <TExecutableModel> counterExample, BinaryWriter writer);
/// <summary>
/// Initializes a new instance.
/// </summary>
public ExecutableCounterExample(TExecutableModel runtimeModel, CounterExample counterExample)
: this(runtimeModel, counterExample.States, counterExample.ReplayInfo, counterExample.EndsWithException, counterExample.FaultActivations)
{
}
