+ contractFile);
}
if (deEndpoint == null)
{
throw new InvalidEndpointsExpection(Simulator.DE, deEndpoint);
}
if (ctEndpoint == null)
{
throw new InvalidEndpointsExpection(Simulator.CT, ctEndpoint);
}
checkModel(Simulator.DE, deModelBase);
checkModel(Simulator.CT, ctModel);