// = new FakeSolver();
//= new JenyaRomaSolver(new FakeOpLog());
static void Main(string[] args)
{
AppDomain.CurrentDomain.UnhandledException += (sender, a) =>
{
Console.Error.WriteLine("Unhandled exception: " + a.ExceptionObject);
Environment.Exit(31337);
};
var srcPath = args.SingleOrDefault(a => a.StartsWith("--src="))?.Substring(6);
var tgtPath = args.SingleOrDefault(a => a.StartsWith("--tgt="))?.Substring(6);
var tracePath = args.Single(a => a.StartsWith("--trace=")).Substring(8);
var tgtMatrix = tgtPath == null ? null : MatrixDeserializer.Deserialize(File.ReadAllBytes(tgtPath));
var srcMatrix = srcPath == null ? null : MatrixDeserializer.Deserialize(File.ReadAllBytes(srcPath));
var trace = Solver.Solve(srcMatrix, tgtMatrix);
if (trace == null)
{
return;
}
var traceBytes = TraceBinarySerializer.Create().Serialize(trace);
File.WriteAllBytes(tracePath, traceBytes);
}
public static void Main(string[] args)
{
var modelFilePath = @"\\vm-dev-cont1\c$\data\problemsF\FA019_tgt.mdl";
var mongoOplogWriter = new JsonOpLogWriter(new MongoJsonWriter());
var jenyaRomaSolver = new JenyaRomaSolver(mongoOplogWriter);
var tgtMatrix = MatrixDeserializer.Deserialize(File.ReadAllBytes(modelFilePath));
var trace = jenyaRomaSolver.Solve(srcMatrix: null, tgtMatrix: tgtMatrix);
var traceBytes = TraceBinarySerializer.Create().Serialize(trace);
File.WriteAllBytes(@"FA019.nbt", traceBytes);
}
public byte[] CreateResultTrace()
{
return(TraceBinarySerializer.Create().Serialize(new Trace(allCommands)));
}
