/// <summary>
/// Create a new P# dynamic analysis context from the given assembly.
/// </summary>
/// <param name="assemblyName">Assembly name</param>
public static void Create(Assembly assembly)
{
try
{
AnalysisContext.Assembly = assembly;
}
catch (FileNotFoundException ex)
{
ErrorReporter.ReportAndExit(ex.Message);
}
AnalysisContext.Setup();
}
/// <summary>
/// Create a new P# dynamic analysis context from the given assembly.
/// </summary>
/// <param name="assemblyName">Assembly name</param>
public static void Create(string assemblyName)
{
try
{
AnalysisContext.Assembly = Assembly.LoadFrom(assemblyName);
}
catch (FileNotFoundException ex)
{
ErrorReporter.ReportAndExit(ex.Message);
}
AnalysisContext.Setup();
}